Sciweavers

244 search results - page 24 / 49
» Counterexamples in Probabilistic Model Checking
Sort
View
126
Voted
FMSD
2010
118views more  FMSD 2010»
15 years 1 months ago
On simulation-based probabilistic model checking of mixed-analog circuits
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...
Edmund M. Clarke, Alexandre Donzé, Axel Leg...
97
Voted
DDECS
2008
IEEE
111views Hardware» more  DDECS 2008»
15 years 9 months ago
Probabilistic Model Checking and Reliability of Results
Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Be...
104
Voted
FOSSACS
2005
Springer
15 years 8 months ago
Model Checking Durational Probabilistic Systems
François Laroussinie, Jeremy Sproston
93
Voted
ICALP
1997
Springer
15 years 7 months ago
Symbolic Model Checking for Probabilistic Processes
Christel Baier, Edmund M. Clarke, Vassili Hartonas...
84
Voted
DC
1998
15 years 2 months ago
Model Checking for a Probabilistic Branching Time Logic with Fairness
Christel Baier, Marta Z. Kwiatkowska