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

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

An efficiently checkable, proof-based formulation of vacuity in model checkingNAMIOSHI, Kedar S.Lecture notes in computer science. 2004, pp 57-69, issn 0302-9743, isbn 3-540-22342-8, 13 p.Conference Paper

Model checking systems of replicated processes with spinDEREPAS, Fabrice; GASTIN, Paul.Lecture notes in computer science. 2001, pp 235-251, issn 0302-9743, isbn 3-540-42124-6Conference Paper

A Decade of Software Model Checking with SLAMBALL, Thomas; LEVIN, Vladimir; RAJAMANI, Sriram K et al.Communications of the ACM. 2011, Vol 54, Num 7, pp 68-76, issn 0001-0782, 9 p.Article

MCK: Model Checking the logic of KnowledgeGAMMIE, Peter; VAN DER MEYDEN, Ron.Lecture notes in computer science. 2004, pp 479-483, issn 0302-9743, isbn 3-540-22342-8, 5 p.Conference Paper

Bounded model checking for interpreted systems: Preliminary experimental resultsLOMUSCIO, A; ŁASICA, T; PENCZEK, W et al.Lecture notes in computer science. 2003, pp 115-125, issn 0302-9743, isbn 3-540-40665-4, 11 p.Conference Paper

Software verification with BLASTHENZINGER, Thomas A; JHALA, Ranjit; MAJUMDAR, Rupak et al.Lecture notes in computer science. 2003, pp 235-239, issn 0302-9743, isbn 3-540-40117-2, 5 p.Conference Paper

Applications of craig interpolation to model checkingMCMILLAN, Kenneth.Lecture notes in computer science. 2005, pp 15-16, issn 0302-9743, isbn 3-540-26301-2, 2 p.Conference Paper

Nouvelles techniques de model-checking pour la vérification de systèmes complexes = New techniques of model checking for the complex system verificationTHIERRY-MIEG, Yann; BAARIR, Soheib; DURET-LUTZ, Alexandre et al.Génie logiciel (1995). 2004, Num 69, pp 17-23, issn 1265-1397, 7 p.Article