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

	Deserti, Julie; Grivaux, Julien Automorphisms of rational surfaces with positive entropy. (English) Zbl Indiana Univ. Math. J. 60, No. 5, ). The authors identify a systematic means of const DocID: 1xV3R - View Document
	PDF Document DocID: 1xQmY - View Document
	PDF Document DocID: 1xqNx - View Document
	PDF Document DocID: 1xmGj - View Document
	PDF Document DocID: 1vHvm - View Document