The following pages link to (Q4501575):
Displaying 6 items.
- Hoare logic-based genetic programming (Q543275) (← links)
- Probabilistic verification of Boolean functions (Q685120) (← links)
- An assertion-based program logic for probabilistic programs (Q2323970) (← links)
- A compositional modelling and verification framework for stochastic hybrid systems (Q2403530) (← links)
- VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC (Q3021957) (← links)
- Reverse Hoare Logic (Q3095238) (← links)