Tools and Algorithms for the Construction and Analysis of Systems

DOI10.1007/11691372zbMath1180.03020OpenAlexW2739785336MaRDI QIDQ5899071

James Worrell, Joël Ouaknine

Publication date: 2 May 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11691372

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Related Items (8)

Zeno, Hercules, and the Hydra ⋮ Time-Bounded Verification ⋮ On the complexity of verification of time-sensitive distributed systems ⋮ An interface theory for service-oriented design ⋮ On termination and invariance for faulty channel machines ⋮ Some Recent Results in Metric Temporal Logic ⋮ Heterogeneous and asynchronous networks of timed systems ⋮ A logical characterization of timed regular languages

This page was built for publication: Tools and Algorithms for the Construction and Analysis of Systems