The following pages link to (Q2722069):
Displaying 7 items.
- A denotational semantics for low-level probabilistic programs with nondeterminism (Q2133180) (← links)
- Quantitative static analysis of communication protocols using abstract Markov chains (Q2322314) (← links)
- Least upper bounds for probability measures and their applications to abstractions (Q2637319) (← links)
- On Probabilistic Techniques for Data Flow Analysis (Q2870284) (← links)
- Stochastic Modelling of Communication Protocols from Source Code (Q2870288) (← links)
- Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions (Q5415663) (← links)
- Analysis and Transformation of Constrained Horn Clauses for Program Verification (Q6063893) (← links)