1239 search results - page 18 / 248 » Applying Model Checking to Concurrent UML Models |
125
click to vote
KBSE
2007
IEEE
15 years 11 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...
131
Voted
CAV
2010
Springer
15 years 9 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...
127
Voted
CAV
2005
Springer
15 years 10 months ago
2005
Springer
119
Voted
LICS
1996
IEEE
15 years 9 months ago
1996
IEEE
122
Voted
AICOM
2004
15 years 4 months ago
2004