Formal Verification Techniques: Industrial Status and Perspectives.

Joel Blasquez, Marten van Hulst, Andrea Fedeli, Jean-Luc Lambert, Dominique Borrione, Coby Hanoch, Pierre Bricaud

Browse the full DATE paper archive.