4340 search results - page 594 / 868 » Formal Methods and Cryptography |
143
click to vote
CAV
2007
Springer
16 years 23 days ago
2007
Springer
Three-color parity games capture the disjunction of a B¨uchi and a co-B¨uchi condition. The most efficient known algorithm for these games is the progress measures algorithm by ...
134
click to vote
CAV
2007
Springer
16 years 23 days ago
2007
Springer
In 2005 we proposed the first efficient on-the-fly algorithm for solving games based on timed game automata with respect to reachability and safety properties. The first prototy...
163
click to vote
CAV
2007
Springer
16 years 23 days ago
2007
Springer
Bounded context switch reachability analysis is a useful and efficient approach for detecting bugs in multithreaded programs. In this paper, we address the application of this app...
190
click to vote
CAV
2007
Springer
16 years 23 days ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
164
click to vote
DSOM
2007
Springer
16 years 23 days ago
2007
Springer
This paper deals with the Change Management process within IT Service Management. Change Management includes several activities, some of which need to evaluate the risk exposure as...