Model Checking Hierarchical Probabilistic Systems
- 1 January 2010
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 24 references indexed in Scilit:
- PTSC: probability, time and shared-variable concurrencyInnovations in Systems and Software Engineering, 2009
- Pacemaker and ICD Generator MalfunctionsJAMA, 2006
- Symbolic model checking: 1020 States and beyondPublished by Elsevier ,2004
- On the Construction of Monitors for Temporal Logic PropertiesElectronic Notes in Theoretical Computer Science, 2001
- Refinement-oriented probability for CSPFormal Aspects of Computing, 1996
- Safety, liveness and fairness in temporal logicFormal Aspects of Computing, 1994
- Compiling real-time specifications into extended automataIEEE Transactions on Software Engineering, 1992
- Fast randomized consensus using shared memoryJournal of Algorithms, 1990
- Recognizing safety and livenessDistributed Computing, 1987
- Verification of multiprocess probabilistic protocolsDistributed Computing, 1986