A Proposal of an Example and Experiments Repository to Foster Industrial Adoption of Formal Methods.

Rupert Schlick, Michael Felderer, Istvn Majzik, Roberto Nardone, Alexander Raschke, Colin F. Snook, Valeria Vittorini

Browse the full ISoLA paper archive.