12981 search results - page 121 / 2597 » Model Checking (Abstract) |
101
click to vote
IPPS
1999
IEEE
15 years 2 months ago
1999
IEEE
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...
WABI
2007
Springer
15 years 4 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...
ATVA
2008
Springer
15 years 3 days 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...
DATE
2008
IEEE
15 years 4 months ago
2008
IEEE
CAISE
2008
Springer
15 years 2 days ago
2008
Springer
