scientific article; zbMATH DE number 1479642

zbMath0942.03527MaRDI QIDQ4490758

Amir Pnueli, Zohar Manna

Publication date: 20 July 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items

Formal verification of mobile robot protocols, Deductive verification of alternating systems, RGITL: a temporal logic framework for compositional reasoning about interleaved programs, 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