State Space Representation for Verification of Open Systems

DOI10.1007/11784180_4MaRDI QIDQ3623920zbMATH OpenOpenAlexFDO

Authors Irem Aktug, Dilian Gurov

Publication date 28 April 2009

Published in Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11784180_4

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Module checking
• Verification of Open Systems
• Game models for open systems
• Compositionality in state space verification methods
• Local model checking for infinite state spaces

Cited in

(2)

• Compositional verification of sequential programs with procedures
• Verification of Open Systems

This page was built for publication: State Space Representation for Verification of Open Systems

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