212
click to vote
SPIN
2001
Springer
16 years 1 days 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...