New results in software model checking and analysisPASAREANU, Corina S.International journal on software tools for technology transfer (Print). 2011, Vol 13, Num 1, pp 3-19, issn 1433-2779, 17 p.Article

Model checking and testing combinedPELED, Doron.Lecture notes in computer science. 2003, pp 47-63, issn 0302-9743, isbn 3-540-40493-7, 17 p.Conference Paper

AMC: An adaptive model checkerGROCE, Alex; PELED, Doron; YANNAKAKIS, Mihalis et al.Lecture notes in computer science. 2002, pp 521-525, issn 0302-9743, isbn 3-540-43997-8, 5 p.Conference Paper

Evidence explorer: A tool for exploring model-checking proofsDONG, Yifei; RAMAKRISHNAN, C. R; SMOLKA, Scott A et al.Lecture notes in computer science. 2003, pp 215-218, issn 0302-9743, isbn 3-540-40524-0, 4 p.Conference Paper

What went wrong: Explaining counterexamplesGROCE, Alex; VISSER, Willern.Lecture notes in computer science. 2003, pp 121-135, issn 0302-9743, isbn 3-540-40117-2, 15 p.Conference Paper

Model checking software (Toronto ON, 19-20 May 2001)Dwyer, Matthew.Lecture notes in computer science. 2001, issn 0302-9743, isbn 3-540-42124-6, X, 311 p, isbn 3-540-42124-6Conference Proceedings

Special section on parallel and distributed model checkingInternational journal on software tools for technology transfer (Print). 2005, Vol 7, Num 1, issn 1433-2779, 86 p.Conference Proceedings

Model checking software (San Francisco CA, 22-24 August 2005)Godefroid, Patrice.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-28195-9, XI, 287 p, isbn 3-540-28195-9Conference Proceedings

Fate and free will in error tracesHOONSANG JIN; RAVI, Kavita; SOMENZI, Fabio et al.International journal on software tools for technology transfer (Print). 2004, Vol 6, Num 2, pp 102-116, issn 1433-2779, 15 p.Conference Paper

Fighting livelock in the GNU i-protocol: a case study in explicit-state model checkingYIFEI DONG; XIAOQUN DU; HOLZMANN, Gerard J et al.International journal on software tools for technology transfer (Print). 2003, Vol 4, Num 4, pp 505-528, issn 1433-2779, 24 p.Article

Software model checking with abstraction refinementPODELSKI, Andreas.Lecture notes in computer science. 2003, pp 1-3, issn 0302-9743, isbn 3-540-00348-7, 3 p.Conference Paper

YASM : A software model-checker for verification and refutationGURFINKEL, Arie; OU WEI; CHECHIK, Marsha et al.Lecture notes in computer science. 2006, pp 170-174, issn 0302-9743, isbn 3-540-37406-X, 1Vol, 5 p.Conference Paper

Model checking a pathMARKEY, N; SCHNOEBELEN, P.Lecture notes in computer science. 2003, pp 251-265, issn 0302-9743, isbn 3-540-40753-7, 15 p.Conference Paper

Model checking: From hardware to softwareHENZINGER, Thomas A.Lecture notes in computer science. 2003, pp 176-177, issn 0302-9743, isbn 3-540-20536-5, 2 p.Conference Paper

Low-fat recipes for spinRUYS, T. C.Lecture notes in computer science. 2000, pp 287-321, issn 0302-9743, isbn 3-540-41030-9Conference Paper

SPLAT : A tool for model-checking and dynamically-enforcing abstractionsMADHAVAPEDDY, Anil; SCOTT, David; SHARP, Richard et al.Lecture notes in computer science. 2005, pp 277-281, issn 0302-9743, isbn 3-540-28195-9, 5 p.Conference Paper

Improving Evidence about Software Technologies : A LOOK at model-Based TestingDIAS NETO, Arilo; SUBRAMANYAN, Rajesh; VIEIRA, Marion et al.IEEE software. 2008, Vol 25, Num 3, pp 10-13, issn 0740-7459, 4 p.Article

Model checking software (13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006)Valmari, Antti.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-33102-6, 1Vol, X-305 p, isbn 3-540-33102-6Conference Proceedings

VMCAI 2004 : verification, model checking, and abstract interpretation (Venice, 11-13 January 2004)Steffen, Bernhard; Levi, Giorgio.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-20803-8, XI, 324 p, isbn 3-540-20803-8Conference Proceedings

Learning-based assume-guarantee verification (tool paper)GIANNAKOPOULOU, Dimitra; PASAREANU, Corina S.Lecture notes in computer science. 2005, pp 282-287, issn 0302-9743, isbn 3-540-28195-9, 6 p.Conference Paper

Model checking software (Portland OR, 9-10 May 2003)Ball, Thomas; Rajamani, Sriram K.Lecture notes in computer science. 2003, issn 0302-9743, isbn 3-540-40117-2, VIII, 239 p, isbn 3-540-40117-2Conference Proceedings

Trends in software verificationHOLZMANN, Gerard J.Lecture notes in computer science. 2003, pp 40-50, issn 0302-9743, isbn 3-540-40828-2, 11 p.Conference Paper

Application and theory of Petri nets 2002 (Adelaide, 24-30 June 2002)Esparza, Javier; Lakos, Charles.Lecture notes in computer science. 2002, issn 0302-9743, isbn 3-540-43787-8, X, 444 p, isbn 3-540-43787-8Conference Proceedings

Fair simulation minimizationGURUMURTHY, Sankar; BLOEM, Roderick; SOMENZI, Fabio et al.Lecture notes in computer science. 2002, pp 610-623, issn 0302-9743, isbn 3-540-43997-8, 14 p.Conference Paper

Verification, model checking, and abstract interpretation (7th international conference, VMCAI 2006, Charleston SC, USA, January 8-10, 2006)Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-31139-4, 1Vol, XI-442 p, isbn 3-540-31139-4Conference Proceedings