Coverart for item
The Resource Model checking software : 18th international SPIN workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings, Alex Groce, Madanlal Musuvathi (eds.), (electronic resource)

Model checking software : 18th international SPIN workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings, Alex Groce, Madanlal Musuvathi (eds.), (electronic resource)

Label
Model checking software : 18th international SPIN workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings
Title
Model checking software
Title remainder
18th international SPIN workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings
Statement of responsibility
Alex Groce, Madanlal Musuvathi (eds.)
Title variation
SPIN 2011
Creator
Contributor
Subject
Genre
Language
eng
Summary
  • This book constitutes the refereed proceedings of the 18th International SPIN workshop on Model Checking Software, SPIN 2011, held in Snowbird, UT, USA, in July 2011. The 10 revised full papers presented together with 2 tool demonstration papers and 1 invited contribution were carefully reviewed and selected from 29 submissions. The papers are organized in topical sections on abstractions and state-space reductions; search strategies; PROMELA encodings and extensions; and applications of model checking
  • Annotation:
Cataloging source
DLC
LC call number
QA76.76.V47
LC item number
I58 2011
http://bibfra.me/vocab/lite/meetingDate
2011
http://bibfra.me/vocab/lite/meetingName
International SPIN Workshop
http://library.link/vocab/relatedWorkOrContributorName
  • Groce, Alex
  • Musuvathi, Madanlal
Series statement
  • Lecture notes in computer science
  • LNCS sublibrary. SL 1, Theoretical computer science and general issues
Series volume
6823
http://library.link/vocab/subjectName
  • Computer software
  • Computer simulation
Summary expansion
This book constitutes the refereed proceedings of the 18th International SPIN workshop on Model Checking Software, SPIN 2011, held in Snowbird, UT, USA, in July 2011.The 10 revised full papers presented together with 2 tool demonstration papers and 1 invited contribution were carefully reviewed and selected from 29 submissions. The papers are organized in topical sections on abstractions and state-space reductions; search strategies; PROMELA encodings and extensions; and applications of model checking
Label
Model checking software : 18th international SPIN workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings, Alex Groce, Madanlal Musuvathi (eds.), (electronic resource)
Instantiates
Publication
Note
Issued also online
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000539197
Dimensions
unknown
Isbn
9783642223051
Isbn Type
(soft cover : alk. paper)
Lccn
2011930657
Specific material designation
remote
System control number
(WaSeSS)bookssj0000539197
Label
Model checking software : 18th international SPIN workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings, Alex Groce, Madanlal Musuvathi (eds.), (electronic resource)
Publication
Note
Issued also online
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000539197
Dimensions
unknown
Isbn
9783642223051
Isbn Type
(soft cover : alk. paper)
Lccn
2011930657
Specific material designation
remote
System control number
(WaSeSS)bookssj0000539197

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...