scientific article; zbMATH DE number 1479642

MaRDI QIDQ4490758zbMATH OpenFDO

Authors Zohar Manna, Amir Pnueli

Publication date 20 July 2000

Mathematics Subject Classification ID

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

Recommendations

• Generalized temporal verification diagrams
• scientific article; zbMATH DE number 2079826
• scientific article; zbMATH DE number 2176483
• Diagram refinements for the design of reactive systems
• scientific article; zbMATH DE number 4153903

Cited in

(14)

• Deductive verification of real-time systems using STeP
• Verification by augmented finitary abstraction
• RGITL: a temporal logic framework for compositional reasoning about interleaved programs
• Formal verification of mobile robot protocols
• Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems
• Diagram refinements for the design of reactive systems
• Generalized temporal verification diagrams
• \textsc{tlpvs}: A \textsc{pvs}-based \textsc{ltl} verification system
• Correct Hardware Design and Verification Methods
• Verification by augmented abstraction: The automata-theoretic view
• Hierarchical verification using verification diagrams
• Deductive verification of modular systems
• On the refinement of liveness properties of distributed systems
• Deductive verification of alternating 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 Q4490758)