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

Stuttering congruence for XLUTTIK, Bas; TRCKA, Nikola.Lecture notes in computer science. 2005, pp 185-199, issn 0302-9743, isbn 3-540-28195-9, 15 p.Conference Paper

Symbolic model checking for asynchronous boolean programsCOOK, Byron; KROENING, Daniel; SHARYGINA, Natasha et al.Lecture notes in computer science. 2005, pp 75-90, issn 0302-9743, isbn 3-540-28195-9, 16 p.Conference Paper

Behavioural models for hierarchical componentsBARROS, Tomas; HENRIO, Ludovic; MADELAINE, Eric et al.Lecture notes in computer science. 2005, pp 154-168, issn 0302-9743, isbn 3-540-28195-9, 15 p.Conference Paper

Generic verification of security protocolsABDUL SAHID KHAN; MUKUND, Madhavan; SURESH, S. P et al.Lecture notes in computer science. 2005, pp 221-235, issn 0302-9743, isbn 3-540-28195-9, 15 p.Conference Paper

Repairing structurally complex dataKHURSHID, Sarfraz; GARCIA, Ivan; YUK LAI SUEN et al.Lecture notes in computer science. 2005, pp 123-138, issn 0302-9743, isbn 3-540-28195-9, 16 p.Conference Paper

Sound transaction-based reduction without cycle detectionLEVIN, Vladimir; PALMER, Robert; QADEER, Shaz et al.Lecture notes in computer science. 2005, pp 106-122, issn 0302-9743, isbn 3-540-28195-9, 17 p.Conference Paper

Enhanced probabilistic verification with 3Spin and 3MurphiDILLINGER, Peter C; MANOLIOS, Panagiotis.Lecture notes in computer science. 2005, pp 272-276, issn 0302-9743, isbn 3-540-28195-9, 5 p.Conference Paper

An incremental heap canonicalization algorithmMUSUVATHI, Madanlal; DILL, David L.Lecture notes in computer science. 2005, pp 28-42, issn 0302-9743, isbn 3-540-28195-9, 15 p.Conference Paper

Model checking machine code with the GNU debuggerMERCER, Eric; JONES, Michael.Lecture notes in computer science. 2005, pp 251-265, issn 0302-9743, isbn 3-540-28195-9, 15 p.Conference Paper

On-the-fly emptiness checks for generalized Buchi automataCOUVREUR, Jean-Michel; DURET-LUTZ, Alexandre; POITRENAUD, Denis et al.Lecture notes in computer science. 2005, pp 169-184, issn 0302-9743, isbn 3-540-28195-9, 16 p.Conference Paper

ETCH : An enhanced type checking tool for promelaDONALDSON, Alastair F; GAY, Simon J.Lecture notes in computer science. 2005, pp 266-271, issn 0302-9743, isbn 3-540-28195-9, 6 p.Conference Paper

Improving spin's partial-order reduction for breadth-first searchBOSNACKI, Dragan; HOLZMANN, Gerard J.Lecture notes in computer science. 2005, pp 91-105, issn 0302-9743, isbn 3-540-28195-9, 15 p.Conference Paper

Execution generated test cases : How to make systems code crash itselfCADAR, Cristian; ENGLER, Dawson.Lecture notes in computer science. 2005, pp 2-23, issn 0302-9743, isbn 3-540-28195-9, 22 p.Conference Paper

Memory efficient state space storage in explicit software model checkingEVANGELISTA, Sami; PRADAT-PEYRE, Jean-Francois.Lecture notes in computer science. 2005, pp 43-57, issn 0302-9743, isbn 3-540-28195-9, 15 p.Conference Paper

Verifying pattern-generated LTL formulas : A case studySALAMAH, Salamah; GATES, Ann; ROACH, Steve et al.Lecture notes in computer science. 2005, pp 200-220, issn 0302-9743, isbn 3-540-28195-9, 21 p.Conference Paper

Counterexample-based refinement for a boundedness test for CFSM languagesLEUE, Stefan; WEI WEI.Lecture notes in computer science. 2005, pp 58-74, issn 0302-9743, isbn 3-540-28195-9, 17 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

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

Crafting a promela front-end with abstract data types to mitigate the sensitivity of (Compositional) analysis to implementation choicesCHENG, Yung-Pin.Lecture notes in computer science. 2005, pp 139-153, issn 0302-9743, isbn 3-540-28195-9, 15 p.Conference Paper

Using SPIN and eclipse for optimized high-level modeling and analysis of computer network attack modelsROTHMAIER, Gerrit; KNEIPHOFF, Tobias; KRUMM, Heiko et al.Lecture notes in computer science. 2005, pp 236-250, issn 0302-9743, isbn 3-540-28195-9, 15 p.Conference Paper