The following pages link to Validation of Stochastic Systems (Q5325836):
Displaying 8 items.
- Probabilistic verification (Q1803654) (← links)
- An assertion-based program logic for probabilistic programs (Q2323970) (← links)
- VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC (Q3021957) (← links)
- Weighted versus Probabilistic Logics (Q3637211) (← links)
- (Q4501575) (← links)
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465856) (← links)
- FM 2005: Formal Methods (Q5716917) (← links)
- Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs (Q6487312) (← links)