A Toolbox for the Verification of LOTOS Programs.

Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodrguez, Joseph Sifakis

Browse the full ICSE paper archive.