6

A Unified Framework for Quantitative Analysis of Probabilistic Programs
Verifying probabilistic programs requires reasoning about various probabilistic behaviors, e.g., random sampling, nondeterminism, and …
PDF Cite DOI
A Unified Framework for Quantitative Analysis of Probabilistic Programs
MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems
We introduce a toolchain MARS for Modelling, Analyzing and veRifying hybrid Systems we developed in the past years. Using MARS, we …
PDF Cite Code DOI
MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems