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

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

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

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

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

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

Zing: A model checker for concurrent softwareANDREWS, Tony; QADEER, Shaz; RAJAMANI, Sriram K et al.Lecture notes in computer science. 2004, pp 484-487, issn 0302-9743, isbn 3-540-22342-8, 4 p.Conference Paper

Software Model Checking Takes OffMILLER, Steven P; WHALEN, Michael W; COFER, Darren D et al.Communications of the ACM. 2010, Vol 53, Num 2, pp 58-64, issn 0001-0782, 7 p.Article

A complete abstract interpretation framework for coverability properties of WSTSGANTY, Pierre; RASKIN, Jean-Francois; VAN BEGIN, Laurent et al.Lecture notes in computer science. 2006, pp 49-64, issn 0302-9743, isbn 3-540-31139-4, 1Vol, 16 p.Conference Paper

Explaining symbolic trajectory evaluation by giving it a faithful semanticsROORDA, Jan-Willem; CLAESSEN, Koen.Lecture notes in computer science. 2006, pp 555-566, issn 0302-9743, isbn 3-540-34166-8, 1Vol, 12 p.Conference Paper

Image computation in infinite state model checkingFINKEL, Alain; LEROUX, Jérome.Lecture notes in computer science. 2004, pp 361-371, issn 0302-9743, isbn 3-540-22342-8, 11 p.Conference Paper

Static analysis versus software model checking for bug findingENGLER, Dawson; MUSUVATHI, Madanlal.Lecture notes in computer science. 2004, pp 191-210, issn 0302-9743, isbn 3-540-20803-8, 20 p.Conference Paper

The Mec 5 model-checkerGRIFFAULT, Alain; VINCENT, Aymeric.Lecture notes in computer science. 2004, pp 488-491, issn 0302-9743, isbn 3-540-22342-8, 4 p.Conference Paper

Reducing the lengths of checking sequences by overlappingURAL, Hasan; FAN ZHANG.Lecture notes in computer science. 2006, pp 274-288, issn 0302-9743, isbn 3-540-34184-6, 1Vol, 15 p.Conference Paper

Model checking genetic regulatory networks using GNA and CADPBATT, Grégory; BERGAMINI, Damien; DE JONG, Hidde et al.Lecture notes in computer science. 2004, pp 158-163, issn 0302-9743, isbn 3-540-21314-7, 6 p.Conference Paper

Bounded fixed-parameter tractability: The case 2^poly(k)WEYER, Mark.Lecture notes in computer science. 2004, pp 49-60, issn 0302-9743, isbn 3-540-23071-8, 12 p.Conference Paper

Application of two phase model to linear viscoelasticity of reinforced rubbersYIHU SONG; QIANG ZHENG.Polymer (Guildford). 2011, Vol 52, Num 3, pp 593-596, issn 0032-3861, 4 p.Article

Assume-guarantee verification of software components in SOFA 2 frameworkPARIZEK, P; PLASIL, F.IET software (Print). 2010, Vol 4, Num 3, pp 210-221, issn 1751-8806, 12 p.Article

A new SAT-based algorithm for symbolic trajectory evaluationROORDA, Jan-Willem; CLAESSEN, Koen.Lecture notes in computer science. 2005, pp 238-253, issn 0302-9743, isbn 3-540-29105-9, 1Vol, 16 p.Conference Paper

GSTE is partitioned model checkingSEBASTIANI, Roberto; SINGERMAN, Eli; TONETTA, Stefano et al.Lecture notes in computer science. 2004, pp 229-241, issn 0302-9743, isbn 3-540-22342-8, 13 p.Conference Paper