2 options
Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings / Thomas Ball, Sriram K. Rajamani, eds.
LIBRA QA76.76.V47 I58 2003
Available from offsite location
LIBRA Q341 .P7 2004
Available from offsite location
- Format:
- Book
- Conference/Event
- Conference Name:
- International SPIN Workshop (10th : 2003 : Portland, Or.)
- Series:
- Lecture notes in computer science 0302-9743 ; 2648.
- Lecture notes in computer science, 0302-9743 ; 2648
- Language:
- English
- Subjects (All):
- SPIN (Computer file)--Congresses.
- SPIN (Computer file).
- Computer software--Verification--Congresses.
- Computer software.
- Computer software--Verification.
- Genre:
- Conference papers and proceedings.
- Physical Description:
- viii, 239 pages : illustrations ; 24 cm.
- Place of Publication:
- Berlin ; New York : Springer, [2003]
- Summary:
- This book constitutes the refereed proceedings of the 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as an ICSE 2003 satellite workshop. The 14 revised full papers and 3 revised tool papers presented were carefully reviewed and selected from 30 submissions. The book presents state-of-the-art results on the analysis and verification of distributed software systems using the SPIN model checker as one of the most powerful and widely applied systems.
- Notes:
- Includes bibliographical references and index.
- ISBN:
- 3540401172
- OCLC:
- 52090932
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.