Automated theorem proving - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2007-07-02 09:31:37 Mathematics Logic in computer science Systems engineering Automated theorem proving Formal verification Software verification Model checking Logic simulation Correctness Formal methods Applied mathematics Theoretical computer science		Add to Reading List Source URL: www.cl.cam.ac.uk Download Document from Source Website File Size: 96,46 KB Share Document on Facebook

	Vinta: Verification with INTerpolation and Abstract iterpretation Arie Gurfinkel Software Engineering Institute Carnegie Mellon University DocID: 1xVXp - View Document
	Quantitative Stochastic Models in the Verification and Design of Software Systems IMPORTANT DATES. Submission of papers: Extended) Notification of acceptance: Camera-ready paper: DocID: 1xVNl - View Document
	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, # 1 Swarm Verification Techniques Gerard J. Holzmann, Rajeev Joshi, and Alex Groce DocID: 1xVM2 - View Document
	Model-Driven Software Verification Gerard J. Holzmann Rajeev Joshi JPL Laboratory for Reliable Software California Institute of Technology 4800 Oak Grove Drive DocID: 1xVIA - View Document
	24 Challenges in Deductive Software Verification∗ Reiner H¨ahnle1 and Marieke Huisman2 1 2 Technische Universit¨ DocID: 1xVIg - View Document