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

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

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

(7)

• Module checking
• State Space Representation for Verification of Open Systems
• scientific article; zbMATH DE number 1361134 (Why is no real title available?)
• scientific article; zbMATH DE number 1500565 (Why is no real title available?)
• Symmetric synthesis
• Game models for open systems
• 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)