190 search results - page 9 / 38 » Towards model checking interpreted systems |
78
Voted
TACAS
2007
Springer
15 years 6 months ago
2007
Springer
For specifying and verifying branching-time requirements, a reactive system is traditionally modeled as a labeled tree, where a path in the tree encodes a possible execution of the...
113
click to vote
IEEEHPCS
2010
14 years 11 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
84
Voted
PEPM
2009
ACM
15 years 9 months ago
2009
ACM
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
104
Voted
CAV
2005
Springer
15 years 6 months ago
2005
Springer
Bounded model checking is an efficient method for finding bugs in system designs. The major drawback of the basic method is that it cannot prove properties, only disprove them. R...
100
click to vote
ASE
2008
15 years 17 days ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...