Modular abstractions for verifying real-time distributed systems
From MaRDI portal
Publication:685095
DOI10.1007/BF01383942zbMath0774.68080MaRDI QIDQ685095
Publication date: 30 September 1993
Published in: Formal Methods in System Design (Search for Journal in Brave)
Cites Work
- Real-time logics: Complexity and expressiveness
- Tableau-based model checking in the propositional mu-calculus
- Characterizing finite Kripke structures in propositional temporal logic
- Local model checking in the modal mu-calculus
- Local model checking for infinite state spaces
- The algebra of timed processes, ATP: Theory and application
- A really temporal logic
- Unnamed Item
- Unnamed Item