Home
News
People
Publications
Seminar
Courses
Vacancies
Contact
Pulp Fictions
Light
Dark
Automatic
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 …
Shenghua Feng
,
Tengshun Yang
,
Mingshuai Chen
,
Naijun Zhan
PDF
Cite
DOI
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 …
Mingshuai Chen
,
Xiao Han
,
Tao Tang
,
Shuling Wang
,
Mengfei Yang
,
Naijun Zhan
,
Hengjun Zhao
,
Liang Zou
PDF
Cite
Code
DOI
Cite
×