CAV
1993
Springer
14 years 4 months ago
1993
Springer
Abstract. This paper presents a scalable approach to reasoning formally about distributed algorithms. It uses results about I O automata to extract a set of proof obligations for s...
CAV
1993
Springer
14 years 4 months ago
1993
Springer
Abstract. We describe the implementation, within ALDEBARAN of an algorithmic method allowing the generation of a minimal labeled transition rom an abstract model ; this minimality ...
CAV
1993
Springer
14 years 4 months ago
1993
Springer
CAV
1993
Springer
14 years 4 months ago
1993
Springer
