12981 search results - page 190 / 2597 » Model Checking and Abstraction |
137
click to vote
FATES
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents a method for reducing the cost of test generation. A spanning set for a coverage criterion is a set of entities such that exercising every entity in the spannin...
170
click to vote
FM
2003
Springer
15 years 10 months ago
2003
Springer
We present a novel application on model checking through SPIN as a means for verifying purely descriptive specifications written in TRIO, a first order, linear-time temporal logic ...
141
click to vote
ICSOC
2003
Springer
15 years 10 months ago
2003
Springer
Converting a conventional contract into an electronic equivalent is not trivial. The difficulties are caused by the ambiguities that the original human-oriented text is likely to c...
143
Voted
CONCUR
2000
Springer
15 years 8 months ago
2000
Springer
Unfoldings are a technique for verification of concurrent and distributed systems introduced by McMillan. The method constructs a finite complete prefix, which can be seen as a sym...
151
click to vote
ATVA
2008
Springer
15 years 6 months ago
2008
Springer
We present a new property driven pruning algorithm in dynamic model checking to efficiently detect race conditions in multithreaded programs. The main idea is to use a lockset base...