Tackling Large Software Verification Problems with Spin

First Page		Document Content
Date: 2010-09-11 18:28:50 Model checkers Software engineering Computing Theoretical computer science Model checking Promela Formal verification SPIN model checker Abstraction Sizeof Const		Tackling Large Software Verification Problems with Spin Add to Reading List Source URL: rjoshi.org Download Document from Source Website File Size: 90,56 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