Verification of reactive systems. Formal methods and algorithms.
From MaRDI portal
Publication:1395897
zbMath1067.68092MaRDI QIDQ1395897
Publication date: 2 July 2003
Published in: Texts in Theoretical Computer Science. An EATCS Series (Search for Journal in Brave)
68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Cascade Products and Temporal Logics on Finite Trees, Some subsets of monadic first-order logic (MFO) used for the specification and synthesis of \(\Sigma\)-automata, Shift-invariant topologies for the Cantor space \(X^{\omega}\), Symbolic graphs: Linear solutions to connectivity related problems, Characterizing CTL-like logics on finite trees., Modelling of Complex Software Systems: A Reasoned Overview, Computable CTL * for Discrete-Time and Continuous-Space Dynamic Systems