Pages that link to "Item:Q5898615"

The following pages link to Verification, Model Checking, and Abstract Interpretation (Q5898615):

Displaying 2 items.

• Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects (Q633299) (← links)
• On simulation-based probabilistic model checking of mixed-analog circuits (Q5962116) (← links)