FMona: A Tool for Expressing Validation Techniques over Infinite State Systems.

Jean-Paul Bodeveix, Mamoun Filali

Browse the full TACAS paper archive.