First Page | Document Content | |
---|---|---|
Date: 2012-08-02 20:33:11Formal methods Theoretical computer science Software engineering Logic in computer science Software development Semigroup action Refinement Predicate transformer semantics Program transformation Postcondition Finite-state machine Formal verification | Requirement Enforcement by Transformation Automata Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Palo Alto, CaliforniaUSAAdd to Reading ListSource URL: www.kestrel.eduDownload Document from Source WebsiteFile Size: 160,92 KBShare Document on Facebook |
Automatic Generation of Test Models and Properties from UML Models with OCL Constraints Miguel A. Francisco Laura M. CastroDocID: 1pJkg - View Document | |
Inference of Necessary Field Conditions with Abstract Interpretation Mehdi Bouaziz 1 , Francesco Logozzo 2 , Manuel F¨ahndrich 2 ´ Ecole Normale Sup´erieure, ParisDocID: 1px9E - View Document | |
Leveraging Parallel Data Processing Frameworks with Verified Lifting Maaz Bin Safeer Ahmad Alvin CheungDocID: 1ph8b - View Document | |
Call by Contract for Cryptographic ProtocolsDocID: 1nZ6s - View Document | |
Automatic Program Repair by Fixing Contracts? Yu Pei, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland Abstract. While most debugginDocID: 1nUaD - View Document |