Extending Model Checking with Dynamic Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software Jet Propulsion Laboratory California Institute of Technology

First Page		Document Content
Date: 2010-09-11 18:45:03 Model checkers Software engineering Computing Model checking Theoretical computer science SPIN model checker Stack Promela Exception handling Device driver synthesis and verification		Extending Model Checking with Dynamic Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software Jet Propulsion Laboratory California Institute of Technology Add to Reading List Source URL: rjoshi.org Download Document from Source Website File Size: 170,13 KB Share Document on Facebook

	Proof Certificates for SMT-based Model Checkers for Infinite-state Systems Alain Mebsout Cesare Tinelli DocID: 1xVp7 - View Document
	C OMPETENCE N ETWORK S OFTNET AUSTRIA Testing with model checkers: A survey SNA-TR-2007-P2-04 Gordon Fraser, Franz Wotawa, Paul E. Ammann DocID: 1tn0p - View Document
	Scalable Computing: Practice and Experience Scientific International Journal for Parallel and Distributed Computing ISSN: DocID: 1rr6u - View Document
	Combining CSP and B for Specification and Property Verification⋆ Michael Butler1 and Michael Leuschel1,2 1 2 DocID: 1r6cA - View Document