Compositional Specification and Analysis of Cost-Based Properties in Probabilistic Programs
- 1 January 2005
- book chapter
- Published by Springer Nature
- p. 107-122
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Probabilistic Guarded Commands Mechanized in HOLElectronic Notes in Theoretical Computer Science, 2005
- The Variety of Variables in Automated Real-Time RefinementFormal Aspects of Computing, 2003
- Fun with FireWire: A Comparative Study of Formal Verification Methods Applied to the IEEE 1394 Root Contention ProtocolFormal Aspects of Computing, 2003
- PRISM: Probabilistic Symbolic Model Checker2002
- Hoare Logics in Isabelle/HOL2002
- A Compositional Approach to Performance Modelling1996
- A probabilistic PDL1983