85 search results - page 5 / 17 » Partial-Order Reduction in Symbolic State Space Exploration |
98
Voted
ATVA
2008
Springer
15 years 4 hour 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...
80
Voted
CAV
1998
Springer
15 years 2 months ago
1998
Springer
This paper presents a new algorithm for efficiently verifying timed systems. The new algorithm represents timing information using geometric regions and explores the timed state sp...
73
Voted
SIGSOFT
2007
ACM
15 years 11 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
91
Voted
ICCAD
2010
IEEE
14 years 8 months ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...
110
Voted
CBSE
2008
Springer
15 years 5 days ago
2008
Springer
Abstract. Automata-based interface and protocol specifications provide an elegant framework to capture and automatically verify the interactive behavior of component-based software...