Generalized temporal verification diagrams

DOI10.1007/3-540-60692-0_69MaRDI QIDQ2956705zbMATHOpenAlexFDO

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

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

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

(13)

• Parametrized invariance for infinite state processes
• Deductive verification of real-time systems using STeP
• scientific article; zbMATH DE number 1479642 (Why is no real title available?)
• Diagram refinements for the design of reactive systems
• On the refinement of liveness properties of distributed systems
• scientific article; zbMATH DE number 2176483 (Why is no real title available?)
• Verification by augmented abstraction: The automata-theoretic view
• Verification by augmented finitary abstraction
• Correct Hardware Design and Verification Methods
• Deductive verification of alternating systems
• Hierarchical verification using verification diagrams
• Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems
• scientific article; zbMATH DE number 2079826 (Why is no real title available?)

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)