7 search results - page 1 / 2 » Techniques to Tackle State Explosion in global Predicate Det... |
80
Voted
ICPADS
1994
IEEE
15 years 2 months ago
1994
IEEE
108
Voted
OPODIS
2003
14 years 11 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...
70
Voted
CAV
2008
Springer
15 years 6 days 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...
90
Voted
ICDCS
2003
IEEE
15 years 3 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...
94
Voted
SPIN
2010
Springer
14 years 8 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...