Optimal scheduling using branch and bound with SPIN 4.0 / Theo C. Ruys -- A Requirements patterns-driven approach to specify systems and check properties / Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng, Min Deng -- Formal modeling and analysis of an avionics triplex sensor voter / Samar Dajani-Brown, Darren Cofer, Gary Hartmann, Steve Pratt -- Distributed explicit fair cycle detection (Set Based Approach) / Ivana Cerna, Radek Pelanek -- Efficient model checking of safety properties / Timo Latvala -- A light-weight algorithm for model checking with symmetry reduction and weak fairness / Dragan Bosnacki -- A SAT characterization of Boolean-Program correctness / K. Rustan, M. Leino -- What went wrong: Explaining counterexamples / Alex Groce, Willem Visser -- A nearly memory-optimal data structure for sets and mappings / Jaco Geldenhuys, Antti Valmari -- Checking consistency of SDL+MSC specifications / Deepak D'Souza, Madhavan Mukund -- Model checking publish-subscribe systems / David Garlan, Serge Khersonsky, Jung Soo Kim -- A methodology for model-checking ad-hoc networks / Irfan Zakiuddin, Michael Goldsmith, Paul Whittaker, Paul Gardiner -- Promela planning / Stefan Edelkamp -- Thread-modular model checking / Cormac Flanagan, Shaz Qadeer -- Unification & sharing in timed automata verification / Alexandre David, Gerd Behrmann, Kim G. Larsen, Wang Yi -- The maude LTL model checker and its implementation / Steven Eker, Jose Meseguer, Ambarish Sridharanarayanan -- Software verification with BLAST / Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Gregoire Sutre

1. SPIN (Computer file) -- Congresses
2. Computer software -- Verification -- Congresses