First Page | Document Content | |
---|---|---|
Date: 2018-10-11 15:04:00Computing Theoretical computer science Software engineering Computer science Formal methods Logic in computer science Functional languages Formal verification Xavier Leroy Computer security Coq French Institute for Research in Computer Science and Automation | École Normale Supérieure Mémoire d’habilitation à diriger des recherches Specialité Informatique The Quest for Formally Secure Compartmentalizing CompilationAdd to Reading ListSource URL: prosecco.gforge.inria.frDownload Document from Source WebsiteFile Size: 1,34 MBShare Document on Facebook |
Alloy as an Introduction to Formal MethodsDocID: 1xVY1 - View Document | |
Integrated Formal MethodsDocID: 1xVBb - View Document | |
Trust in Formal Methods Toolchains Arie Gurfinkel Software Engineering Institute Carnegie Mellon UniversityDocID: 1xUHE - View Document | |
Formal Methods in System Design manuscript No. (will be inserted by the editor) Inferring Event Stream Abstractions Sean Kauffman · Klaus Havelund · Rajeev Joshi · Sebastian FischmeisterDocID: 1xUCm - View Document | |
Formal Methods in System Design manuscript No. (will be inserted by the editor) Automatic Verification of Competitive Stochastic Systems Taolue Chen · VojtˇDocID: 1xUrV - View Document |