First Page | Document Content | |
---|---|---|
![]() Date: 2009-08-05 10:48:36Theoretical computer science Concurrent computing Formal methods L4 microkernel family Formal verification Microkernel Isabelle Trusted computing base Kernel Computer architecture Computing Software | Source URL: www.sigops.orgDownload Document from Source WebsiteFile Size: 409,29 KBShare 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 |