Tackling Large Software Verification Problems with Spin

First Page		Document Content
Date: 2010-09-11 18:30:09 Model checkers Software engineering Computing Electronic engineering Theoretical computer science Model checking Swarm behaviour Formal methods Promela Swarm Software verification SPIN model checker		Tackling Large Software Verification Problems with Spin Add to Reading List Source URL: rjoshi.org Download Document from Source Website File Size: 74,88 KB Share Document on Facebook

	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, # 1 Swarm Verification Techniques Gerard J. Holzmann, Rajeev Joshi, and Alex Groce DocID: 1xVM2 - View Document
	Swarm Verification 1 Gerard J. Holzmann, Rajeev Joshi, Alex Groce Jet Propulsion Laboratory, California Institute of Technology Abstract DocID: 1xUKZ - View Document
	Lipari School on Computational Complex and Social Systems: From swarm intelligence to digital democracy: new tools for a complex society JulyLipari Island, Italy SCHOOL SCHEDULE DocID: 1xU2g - View Document
	Introduction Verifying a Robot Swarm Algorithm Dealing with Uncertainty DocID: 1xTg0 - View Document
	Nr.: FINEvaluation Platform for Micro Aerial Indoor Swarm Robotics Christoph Steup, Sanaz Mostaghim, Sebastian Mai Intelligente Systeme DocID: 1vrme - View Document