Modular abstractions for verifying real-time distributed systems
From MaRDI portal
Publication:685095
DOI10.1007/BF01383942zbMATH Open0774.68080MaRDI QIDQ685095FDOQ685095
Authors: Hana De-Leon, Orna Grumberg 
Publication date: 30 September 1993
Published in: Formal Methods in System Design (Search for Journal in Brave)
Recommendations
Cites Work
- Characterizing finite Kripke structures in propositional temporal logic
- A really temporal logic
- Real-time logics: Complexity and expressiveness
- The algebra of timed processes, ATP: Theory and application
- Title not available (Why is that?)
- Tableau-based model checking in the propositional mu-calculus
- Local model checking in the modal mu-calculus
- Local model checking for infinite state spaces
- Title not available (Why is that?)
Cited In (15)
- Title not available (Why is that?)
- Automated compositional proofs for real-time systems
- Modular design of real-time systems using hierarchical communicating real-time state machines
- Formalization and correctness of the PALS architectural pattern for distributed real-time systems
- Title not available (Why is that?)
- Modularity for timed and hybrid systems
- Theorem Proving in Higher Order Logics
- Predicate abstraction for dense real-time systems
- Network invariants for real-time systems
- Network invariants for real-time systems
- Fundamental Approaches to Software Engineering
- Specification and verification of distributed systems by means of the elementary-REAL language
- Verifying abstractions of timed systems
- Model checking MASL specification of distributed real-time systems
- Pervasive verification of distributed real-time systems
This page was built for publication: Modular abstractions for verifying real-time distributed systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q685095)
