7 search results - page 1 / 2 » Techniques to Tackle State Explosion in global Predicate Det... |
ICPADS
1994
IEEE
13 years 9 months ago
1994
IEEE
OPODIS
2003
13 years 6 months ago
2003
Detecting whether a finite execution trace (or a computation) of a distributed program satisfies a given predicate, called predicate detection, is a fundamental problem in distr...
CAV
2008
Springer
13 years 7 months ago
2008
Springer
Ideally, a model checking tool should successfully tackle state space explosion for complete system validation, while providing short counterexamples when an error exists. Techniqu...
ICDCS
2003
IEEE
13 years 10 months ago
2003
IEEE
Writing correct distributed programs is hard. In spite of extensive testing and debugging, software faults persist even in commercial grade software. Many distributed systems, esp...
SPIN
2010
Springer
13 years 3 months ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...