48 search results - page 3 / 10 » Distributed LTL Model-Checking in SPIN |
ISSTA
2004
ACM
13 years 11 months ago
2004
ACM
The use of XML as the de facto data exchange standard has allowed integration of heterogeneous web based software systems regardless of implementation platforms and programming la...
FSTTCS
2001
Springer
13 years 10 months ago
2001
Springer
Abstract. This paper addresses the state explosion problem in automata based LTL model checking. To deal with large space requirements we turn to use a distributed approach. All th...
ICPADS
2010
IEEE
13 years 4 months ago
2010
IEEE
SPIN
2001
Springer
13 years 10 months ago
2001
Springer
Abstract. This paper describes three program transformations that extend the scope of model checkers for Java programs to include distributed programs, i.e., multi-process programs...
ASIAN
2003
Springer
13 years 11 months ago
2003
Springer
Protocols for distributed systems make often use of random transitions to achieve a common goal. A popular example are randomized leader election protocols. We introduce probabilis...