6608 search results - page 74 / 1322 » On the Completeness of Model Checking |
123
Voted
FOCS
2009
IEEE
15 years 11 months ago
2009
IEEE
Statistical query (SQ) learning model of Kearns is a natural restriction of the PAC learning model in which a learning algorithm is allowed to obtain estimates of statistical prop...
129
Voted
TASE
2008
IEEE
15 years 10 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
137
click to vote
SIGSOFT
1996
ACM
15 years 8 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 ...
139
Voted
WABI
2007
Springer
15 years 10 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...
122
click to vote
ATVA
2008
Springer
15 years 6 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...