Office of Academic Resources
Chulalongkorn University
Chulalongkorn University

Home / Help

AuthorInternational SPIN Workshop (10th : 2003 : Portland, Or.)
TitleModel checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings / Thomas Ball, Sriram K. Rajamani (eds.)
Imprint Berlin : Springer, c2003
Descript viii, 239 p. : ill. ; 24 cm

CONTENT

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


SPIN (Computer file) -- Congresses Computer software -- Verification -- Congresses

LOCATIONCALL#STATUS
Central Library (4th Floor)005.14 I61M 2003CHECK SHELVES

Chulalinet's Book Delivery Request




Location



Office of Academic Resources, Chulalongkorn University, Phayathai Rd. Pathumwan Bangkok 10330 Thailand

Contact Us

Tel. 0-2218-2929,
0-2218-2927 (Library Service)
0-2218-2903 (Administrative Division)
Fax. 0-2215-3617, 0-2218-2907

Social Network

  line

facebook   instragram