Formal Modelling and Verification as Rigorous Review Technology: An Inspiration from INSPEX.

Richard Banach, Joseph Razavi, Olivier Debicki, Suzanne Lesecq

Browse the full FM paper archive.