Verification of Open Systems

DOI10.1007/3-540-34874-3_5MaRDI QIDQ4928701zbMATH OpenOpenAlexFDO

Authors Orna Kupferman, Moshe Y. Vardi

Publication date 18 June 2013

Published in Interactive Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-34874-3_5

Mathematics Subject Classification ID

Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Recommendations

• A framework for specifying and verifying the behaviour of open systems
• State Space Representation for Verification of Open Systems
• scientific article; zbMATH DE number 1500565
• Verification of Hybrid Systems
• scientific article; zbMATH DE number 404075

Cited in

(6)

• Symmetric synthesis
• Module checking
• Game models for open systems
• State Space Representation for Verification of Open Systems
• scientific article; zbMATH DE number 1500565 (Why is no real title available?)
• Safe environmental envelopes of discrete systems

This page was built for publication: Verification of Open Systems

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