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

	D:/SM/Trabalho/Artigos/autonomous robots-nov 2008/4revisao/Auro381R4.dvi DocID: 1rtLp - View Document
	Mutual State-Based Capabilities for Role Assignment in Heterogeneous Teams Somchaya Liemhetcharat Manuela Veloso DocID: 1rqnK - View Document
	Learning Ant Foraging Behaviors Liviu A. Panait and Sean Luke George Mason University, Fairfax, VA 22030 , Abstract DocID: 1rqmS - View Document
	Swarming Behavior in Plant Roots Marzena Ciszak1,2, Diego Comparini2, Barbara Mazzolai3, Frantisek Baluska4, F. Tito Arecchi1,5, Tama´s Vicsek6, Stefano Mancuso2* 1 CNR-Istituto Nazionale di Ottica, Florence, Italy, 2 L DocID: 1rmXC - View Document
	Microsoft Word - Guo_Wilensky_BeeSmart_CamReady.docx DocID: 1rmC3 - View Document