Coverart for item
The Resource SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings, Klaus Havelund, John Penix, Willem Visser (eds.)

SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings, Klaus Havelund, John Penix, Willem Visser (eds.)

Label
SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings
Title
SPIN model checking and software verification
Title remainder
7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings
Statement of responsibility
Klaus Havelund, John Penix, Willem Visser (eds.)
Title variation
SPIN 2000, SPIN model checking and software verification
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
DLC
Dewey number
005.2/76
Illustrations
illustrations
Index
index present
LC call number
QA76.76.V47
LC item number
I58 2000
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2000
http://bibfra.me/vocab/lite/meetingName
International SPIN Workshop
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
  • 1955-
  • 1970-
  • 1968-
http://library.link/vocab/relatedWorkOrContributorName
  • Havelund, Klaus
  • Penix, John
  • Visser, Willem
Series statement
Lecture notes in computer science,
Series volume
1885
http://library.link/vocab/subjectName
  • Computer software
  • Computer simulation
Label
SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings, Klaus Havelund, John Penix, Willem Visser (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Symmetric Spin / Dragan Bosnacki, Dennis Dams and Leszek Holenderski -- Using Garbage Collection in Model Checking / Radu Iosif and Riccardo Sisto -- Model Checking Based on Simultaneous Reachability Analysis / Bengi Karacali and Kuo-Chung Tai -- Testing Spin's LTL Formula Conversion into Buchi Automata with Randomly Generated Input / Heikki Tauriainen and Keijo Heljanko -- Verification and Optimization of a PLC Control Schedule / Ed Brinksma and Angelika Mader -- Modeling the ASCB-D Synchronization Algorithm with SPIN: A Case Study / Nicholas Weininger and Darren Cofer -- Bebop: A Symbolic Model Checker for Boolean Programs / Thomas Ball and Sriram K. Rajamani -- Logic Verification of ANSI-C Code with SPIN / Gerard J. Holzmann -- Interaction Abstraction for Compositional Finite State Systems / Wayne Liu -- Correctness by Construction: Towards Verification in Hierarchical System Development / Mila Majster-Cederbaum and Frank Salger -- Linking STeP with SPIN / Anca Browne, Henny Sipma and Ting Zhang
Control code
44818429
Dimensions
24 cm
Extent
x, 342 pages
Isbn
9783540410300
Isbn Type
(softcover : alk. paper)
Lccn
00063787
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
Label
SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings, Klaus Havelund, John Penix, Willem Visser (eds.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Symmetric Spin / Dragan Bosnacki, Dennis Dams and Leszek Holenderski -- Using Garbage Collection in Model Checking / Radu Iosif and Riccardo Sisto -- Model Checking Based on Simultaneous Reachability Analysis / Bengi Karacali and Kuo-Chung Tai -- Testing Spin's LTL Formula Conversion into Buchi Automata with Randomly Generated Input / Heikki Tauriainen and Keijo Heljanko -- Verification and Optimization of a PLC Control Schedule / Ed Brinksma and Angelika Mader -- Modeling the ASCB-D Synchronization Algorithm with SPIN: A Case Study / Nicholas Weininger and Darren Cofer -- Bebop: A Symbolic Model Checker for Boolean Programs / Thomas Ball and Sriram K. Rajamani -- Logic Verification of ANSI-C Code with SPIN / Gerard J. Holzmann -- Interaction Abstraction for Compositional Finite State Systems / Wayne Liu -- Correctness by Construction: Towards Verification in Hierarchical System Development / Mila Majster-Cederbaum and Frank Salger -- Linking STeP with SPIN / Anca Browne, Henny Sipma and Ting Zhang
Control code
44818429
Dimensions
24 cm
Extent
x, 342 pages
Isbn
9783540410300
Isbn Type
(softcover : alk. paper)
Lccn
00063787
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations

Library Locations

    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
    • University of Missouri Libraries DepositoryBorrow it
      2908 Lemone Blvd, Columbia, MO, 65211, US
      38.919360 -92.291620
Processing Feedback ...