Model-Driven Software Verification Gerard J. Holzmann Rajeev Joshi JPL Laboratory for Reliable Software California Institute of Technology 4800 Oak Grove Drive

First Page		Document Content
Date: 2010-09-11 18:26:03 Model checkers Software engineering Theoretical computer science Formal methods C C++ Sizeof Model checking Promela Abstraction Computing Abstract interpretation		Model-Driven Software Verification Gerard J. Holzmann Rajeev Joshi JPL Laboratory for Reliable Software California Institute of Technology 4800 Oak Grove Drive Add to Reading List Source URL: rjoshi.org Download Document from Source Website File Size: 119,39 KB Share Document on Facebook

	Seminar: Formale Software-Entwicklung Dynamische Modellpru ¨ fung im Bereich von UML durch ¨ Ubersetzung von UML-Modellen nach PROMELA, DocID: 1v19r - View Document
	EpiSpin: an Eclipse Plug-in for Promela/Spin using Spoofax B. de Vos, L.C.L. Kats, and C. Pronk Delft University of Technology, The Netherlands , , DocID: 1sZAd - View Document
	Bosna i He.cegovina Ministarctvo komunikacrja i promela DIREXCUA ZA CIVILNO ZRAKOPLOVSTVO 6ocna u xepqeroarHa MrHncrapcrao (o,,,ryHuxaquja s rpaHcfropra DocID: 1qSTr - View Document
	Proceedings of the International MultiConference of Engineers and Computer Scientists 2012 Vol II, IMECS 2012, March, 2012, Hong Kong Modelling and Verification of Compensating Transactions using the Spin Tool Ka DocID: 1q17a - View Document
	spcl.inf.ethz.ch @spcl_eth TIMO SCHNEIDER <> DPHPC Recitation Session DocID: 1q0dG - View Document