scientific article; zbMATH DE number 1444724

MaRDI QIDQ4952304zbMATH OpenFDO

Authors Francesca Levi

Publication date 9 May 2000

zbMATH Keywords

checking real-time properties of a discrete timed process languagecompositional proof systemdiscrete extension of \(\mu\)-calculusoperator of process refinement

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1512628
• Compositional verification of real-time systems with explicit clock temporal logic
• scientific article; zbMATH DE number 1897216
• Compositional verification for timed systems based on automatic invariant generation
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• scientific article; zbMATH DE number 49713
• Specification and compositional verification of real-time systems
• Verified model checking of timed automata
• Verification of timed automata via satisfiability checking

Cited in

(9)

• A compositional axiomatization of statecharts
• A compositional -calculus proof system for statecharts processes
• scientific article; zbMATH DE number 177500 (Why is no real title available?)
• scientific article; zbMATH DE number 1286822 (Why is no real title available?)
• Compositional Verification of Quantitative Properties of Statecharts
• Semantics and execution time of new timed statecharts
• Compositionality in state space verification methods
• Axiomatising real-timed processes
• Verifying abstractions of timed systems

This page was built for publication:

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