A Toolbox for the Verification of LOTOS Programs

14 years 3 months ago

This paper presents the tools Ald

Jean-Claude Fernandez, Hubert Garavel, Laurent Mou

Atomic Multicast Protocol | Formal Verification | ICSE 1992 | Lotos Programs | Software Engineering |

claim paper

Added	10 Aug 2010
Updated	10 Aug 2010
Type	Conference
Year	1992
Where	ICSE
Authors	Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodriguez, Joseph Sifakis

Comments (0)