Specification guidelines to avoid the state space explosion problem

DOI10.1007/978-3-642-29320-7_8MaRDI QIDQ2894558zbMATH OpenOpenAlexFDO

Authors Jan Friso Groote, Tim W. D. M. Kouters, Ammar Osaiweran

Publication date 29 June 2012

Published in Fundamentals of Software Engineering (Search for Journal in Brave)

Full work available at URL https://research.tue.nl/nl/publications/specification-guidelines-to-avoid-the-state-space-explosion-problem(97840eac-515c-4c29-83af-a03bac258c97).html

zbMATH Keywords

design for verificationsmodel checkingspecification guidelinesstate space explosion

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 177234
• Algebraic Methodology and Software Technology
• scientific article; zbMATH DE number 2080188
• Model Checking – My 27-Year Quest to Overcome the State Explosion Problem
• Good to know about the efficiency of state space methods

Cited in

(2)

• Compositional verification of asynchronous concurrent systems using CADP
• scientific article; zbMATH DE number 7269247 (Why is no real title available?)

Describes a project that uses

Uses Software

• mCRL2
• CADP
• Reo

This page was built for publication: Specification guidelines to avoid the state space explosion problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2894558)