New Challenges in Model Checking Gerard J. Holzmann, Rajeev Joshi, and Alex Groce NASA JPL Laboratory for Reliable Software, Pasadena, CA 91109, USA {Gerard.Holzmann, Rajeev.Joshi,Alex.Groce - NASA - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2010-09-11 18:32:09 Formal methods Theoretical computer science Software engineering Computing Logic in computer science Software testing Model checking Formal verification Software verification Flash memory Verification Software quality		New Challenges in Model Checking Gerard J. Holzmann, Rajeev Joshi, and Alex Groce NASA/JPL Laboratory for Reliable Software, Pasadena, CA 91109, USA {Gerard.Holzmann, Rajeev.Joshi,Alex.Groce}@jpl.nasa.gov Add to Reading List Source URL: rjoshi.org Download Document from Source Website File Size: 213,84 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