Generalized temporal verification diagrams
From MaRDI portal
Publication:2956705
DOI10.1007/3-540-60692-0_69zbMath1354.68171OpenAlexW1559397325MaRDI QIDQ2956705
Zohar Manna, I. A. Browne, 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
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (7)
Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems ⋮ Deductive verification of alternating systems ⋮ Parametrized invariance for infinite state processes ⋮ Verification by augmented abstraction: The automata-theoretic view ⋮ On the refinement of liveness properties of distributed systems ⋮ Deductive verification of real-time systems using STeP ⋮ Verification by augmented finitary abstraction
This page was built for publication: Generalized temporal verification diagrams
