5216 search results - page 135 / 1044 » Planning as Model Checking |
118
click to vote
CONCUR
2000
Springer
15 years 4 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...
118
Voted
ATVA
2008
Springer
15 years 2 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...
127
click to vote
FASE
2008
Springer
15 years 2 months ago
2008
Springer
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...
114
click to vote
FMOODS
2007
15 years 2 months ago
2007
The success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distr...
104
click to vote
CORR
2008
Springer
15 years 26 days ago
2008
Springer
Abstract. This paper presents a novel technique for counterexample generation in probabilistic model checking of Markov chains and Markov Decision Processes. (Finite) paths in coun...