554 search results - page 10 / 111 » Approximate Probabilistic Model Checking |
CAV
2004
Springer
14 years 27 days ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
QEST
2007
IEEE
14 years 1 months ago
2007
IEEE
FMSD
2010
13 years 6 months ago
2010
In this paper, we consider verifying properties of mixed-signal circuits, i.e., circuits for which there is an interaction between analog (continuous) and digital (discrete) values...
DDECS
2008
IEEE
14 years 1 months ago
2008
IEEE
FOSSACS
2005
Springer
14 years 1 months ago
2005
Springer