Usability of AutoProof: a case study of software verification by Mansur Khazeev, Victor Rivera, Manuel Mazzara, Alexander Tchitchigin

“…In order to put the spotlight on usability of verification tools we chose an automated verifier for the Eiffel programming language, AutoProof, and a well-known benchmark, the Tokeneer problem. …”
Get full text