Call by Contract for Cryptographic Protocols

First Page		Document Content
Date: 2008-06-23 13:57:19 Formal methods Logic in computer science Metalogic Automated theorem proving Logic programming Substitution Postcondition First-order logic Parameter Precondition Well-formed formula Model theory		Call by Contract for Cryptographic Protocols Add to Reading List Source URL: evenmere.org Download Document from Source Website File Size: 615,45 KB Share Document on Facebook

	Automatic Generation of Test Models and Properties from UML Models with OCL Constraints Miguel A. Francisco Laura M. Castro DocID: 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, Paris DocID: 1px9E - View Document
	Leveraging Parallel Data Processing Frameworks with Verified Lifting Maaz Bin Safeer Ahmad Alvin Cheung DocID: 1ph8b - View Document
	Call by Contract for Cryptographic Protocols DocID: 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 debuggin DocID: 1nUaD - View Document