scientific article; zbMATH DE number 176726

MaRDI QIDQ4036555zbMATH OpenFDO

Authors

Publication date 18 May 1993

zbMATH Keywords

branching time logicbranching time semanticsinfinite computation trees modulo bisimulationlivenessprogram semanticssafety preordersilent actionssimulation testingtree- automata

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A lattice-theoretic characterization of safety and liveness
• An abstract interpretation-based model for safety semantics
• Safety, liveness and fairness in temporal logic
• Recognizing safety and liveness
• Modalities for model checking: Branching time logic strikes back

Cited in

(23)

• Property preserving abstractions for the verification of concurrent systems
• Inference of -languages from prefixes.
• Using partial orders for the efficient verification of deadlock freedom and safety properties
• On hierarchically developing reactive systems
• Selective mu-calculus and formula-based equivalence of transition systems
• Coupled similarity: the first 32 years
• Cartesian difference categories
• Compositional verification of asynchronous concurrent systems using CADP
• An abstract interpretation-based model for safety semantics
• Refined Interfaces for Compositional Verification
• Reducing behavioural to structural properties of programs with procedures
• Requirements, specifications, and minimal refinement
• Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous
• Sharp congruences adequate with temporal logics combining weak and strong modalities
• Minimal refinements of specifications in modal and temporal logics
• Minimal refinements of specifications in modal and temporal logics
• Towards the hierarchical verification of reactive systems
• Translating FSP into LOTOS and networks of automata
• Equivalence checking 40 years after: a review of bisimulation tools
• “On the fly” verification of behavioural equivalences and preorders
• Using partial orders for the efficient verification of deadlock freedom and safety properties
• Reduced models for efficient CCS verification
• Compositional verification of sequential programs with procedures

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 Q4036555)