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 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

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

SMC: A symmetry based model checker for verification of liveness propertiesSISTLA, A. P; MILIADES, L; GYURIS, V et al.Lecture notes in computer science. 1997, pp 464-467, issn 0302-9743, isbn 3-540-63166-6Conference Paper

SPIN tutorial: How to become a SPIN doctorRUYS, Theo C.Lecture notes in computer science. 2002, pp 6-13, issn 0302-9743, isbn 3-540-43477-1Conference 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 (Grenoble, 11-13 April 2002)Bosnacki, Dragan; Leue, Stefan.Lecture notes in computer science. 2002, issn 0302-9743, isbn 3-540-43477-1, X, 257 p, isbn 3-540-43477-1Conference Proceedings

Coverage metrics for formal verification : Recent advances in hardware verificationCHOCKLER, Hana; KUPFERMAN, Orna; VARDI, Moshe et al.International journal on software tools for technology transfer (Print). 2006, Vol 8, Num 4-5, pp 373-386, issn 1433-2779, 14 p.Conference Paper

Model checking C source code for embedded systemsSCHLICH, Bastian; KOWALEWSKI, Stefan.International journal on software tools for technology transfer (Print). 2009, Vol 11, Num 3, pp 187-202, issn 1433-2779, 16 p.Article

Model-checking the preservation of temporal properties upon feature integrationGUELEV, Dimitar P; RYAN, Mark D; SCHOBBENS, Pierre Yves et al.International journal on software tools for technology transfer (Print). 2007, Vol 9, Num 1, pp 53-62, issn 1433-2779, 10 p.Article

Scaling model checking of dataraces using dynamic informationSHACHAM, Ohad; SAGIV, Mooly; SCHUSTER, Assaf et al.Journal of parallel and distributed computing (Print). 2007, Vol 67, Num 5, pp 536-550, issn 0743-7315, 15 p.Article

Model checking, testing and verification working togetherGUNTER, Elsa; PELED, Doron.Formal aspects of computing. 2005, Vol 17, Num 2, pp 201-221, issn 0934-5043, 21 p.Conference Paper

Comparing symbolic and explicit model checking of a software systemEISNER, Cindy; PELED, Doron.Lecture notes in computer science. 2002, pp 230-239, issn 0302-9743, isbn 3-540-43477-1Conference Paper

Approximating ATL^* in ATLHARDING, Aidan; RYAN, Mark; SCHOBBENS, Pierre-Yves et al.Lecture notes in computer science. 2002, pp 289-301, issn 0302-9743, isbn 3-540-43631-6Conference Paper

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

Vacuity detection in temporal model checkingKUPFERMAN, Orna; VARDI, Moshe Y.International journal on software tools for technology transfer (Print). 2003, Vol 4, Num 2, pp 224-233, issn 1433-2779, 10 p.Conference Paper

A strategy for improving the efficiency of procedure verificationWENHUI ZHANG.Lecture notes in computer science. 2002, pp 113-125, issn 0302-9743, isbn 3-540-44157-3, 13 p.Conference Paper

αSPIN: Extending SPIN with abstractionGALLARDO, Maria Del; MARTINEZ, Jesus; MERINO, Pedro et al.Lecture notes in computer science. 2002, pp 254-257, issn 0302-9743, isbn 3-540-43477-1Conference 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