Generalized temporal verification diagrams
From MaRDI portal
Publication:2956705
DOI10.1007/3-540-60692-0_69zbMath1354.68171MaRDI QIDQ2956705
Zohar Manna, Henny B. Sipma, I. A. Browne
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
Related Items
Verification by augmented abstraction: The automata-theoretic view, Deductive verification of alternating systems, Deductive verification of real-time systems using STeP, Verification by augmented finitary abstraction