IF: A Validation Environment for Timed Asynchronous Systems.

Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier

Browse the full CAV paper archive.