A proof-based method for modelling timed systems

DOI10.1007/978-3-662-46823-4_14MaRDI QIDQ3455067zbMATH OpenOpenAlexFDO

Authors Alexei Iliasov, Jeremy W. Bryans

Publication date 3 December 2015

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-46823-4_14

Mathematics Subject Classification ID

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

Recommendations

• Temporal proof methodologies for timed transition systems
• Publication:4508304
• The Power of Proofs: New Algorithms for Timed Automata Model Checking
• Forward and backward simulations. II: Timing-based systems
• Using mappings to prove timing properties

Cites work

• scientific article; zbMATH DE number 177824 (Why is no real title available?)
• Data Refinement
• Forward and backward simulations. II: Timing-based systems
• Modeling in Event B. System and software engineering.
• Specification and Proof in Real Time CSP

Cited in

(4)

• Induction in the timed interval calculus
• The Power of Proofs: New Algorithms for Timed Automata Model Checking
• Proving properties of continuous systems: Qualitative simulation and temporal logic
• On the determinization of timed systems

This page was built for publication: A proof-based method for modelling timed systems

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