Modular abstractions for verifying real-time distributed systems

DOI10.1007/BF01383942zbMath0774.68080MaRDI QIDQ685095

Hana De-Leon, Orna Grumberg

Publication date: 30 September 1993

Published in: Formal Methods in System Design (Search for Journal in Brave)

zbMATH Keywords

model checkingtemporal logicabstractionreal-time distributed systemsverification methodology

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

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