1239 search results - page 18 / 248 » Applying Model Checking to Concurrent UML Models |
KBSE
2007
IEEE
14 years 1 months ago
2007
IEEE
toolkit demonstrates that predicate abstraction enables automated verification of real world Windows device Our predicate abstraction-based tool DDVerify enables the automated ve...
CAV
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. We consider the verification of parameterized Boolean proabstractions of shared-memory concurrent programs with an unbounded number of threads. We propose that such prog...
CAV
2005
Springer
14 years 1 months ago
2005
Springer
LICS
1996
IEEE
13 years 11 months ago
1996
IEEE
AICOM
2004
13 years 7 months ago
2004