Generalized temporal verification diagrams

DOI10.1007/3-540-60692-0_69MaRDI QIDQ2956705zbMATH OpenOpenAlexFDO

Authors I. A. Browne, Zohar Manna, Henny B. Sipma

Publication date 19 January 2017

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

Full work available at URL https://doi.org/10.1007/3-540-60692-0_69

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Publication:4490758
• scientific article; zbMATH DE number 2079826
• scientific article; zbMATH DE number 2176483
• Diagram refinements for the design of reactive systems
• Hybrid diagrams

Cited in

(14)

• Deductive verification of real-time systems using STeP
• Verification by augmented finitary abstraction
• Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems
• Diagram refinements for the design of reactive systems
• scientific article; zbMATH DE number 2079826 (Why is no real title available?)
• scientific article; zbMATH DE number 1479642 (Why is no real title available?)
• scientific article; zbMATH DE number 2176483 (Why is no real title available?)
• Parametrized invariance for infinite state processes
• 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: Generalized temporal verification diagrams

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