4962 search results - page 55 / 993 » Stochastic Model Checking |
123
click to vote
SIGSOFT
1996
ACM
15 years 6 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
119
click to vote
WABI
2007
Springer
15 years 8 months ago
2007
Springer
Christopher James Langmead⋆ and Sumit Kumar Jha Department of Computer Science, Carnegie Mellon University We present a novel approach for predicting protein folding kinetics us...
101
click to vote
ATVA
2008
Springer
15 years 4 months ago
2008
Springer
Multi-valued Model Checking is an extension of classical, two-valued model checking with multi-valued logic. Multi-valuedness has been proved useful in expressing additional inform...
142
Voted
JMLR
2010
14 years 8 months ago
2010
We present an approximate inference approach to parameter estimation in a spatio-temporal stochastic process of the reaction-diffusion type. The continuous space limit of an infer...
122
click to vote
CAV
2004
Springer
15 years 5 months ago
2004
Springer
JNuke is a framework for verification and model checking of Java programs. It is a novel combination of run-time verification, explicit-state model checking, and counter-example ex...