Coverart for item
The Resource Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings, Matthew Dwyer (ed.)

Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings, Matthew Dwyer (ed.)

Label
Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings
Title
Model checking software
Title remainder
8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings
Statement of responsibility
Matthew Dwyer (ed.)
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
DLC
Dewey number
005.1/4
Illustrations
illustrations
Index
index present
LC call number
QA76.76.V47
LC item number
I58 2001
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2001
http://bibfra.me/vocab/lite/meetingName
International SPIN Workshop
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1963-
http://library.link/vocab/relatedWorkOrContributorName
  • Dwyer, Matthew
  • ACM Sigsoft
Series statement
Lecture notes in computer science
Series volume
2057
http://library.link/vocab/subjectName
  • Computer software
  • Computer simulation
Label
Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings, Matthew Dwyer (ed.)
Instantiates
Publication
Note
On cover: ACM SIGSOFT
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
  • Directed explicit model checking with HSF-SPIN
  • Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue
  • Addressing dynamic issues of program model checking
  • Flavio Lerda, Willem Visser
  • Automaticallu validating temporal safety properties of interfaces
  • Thomas Ball, Sriram K. Rajamani
  • Verification experiments on the MASCARA protocol
  • Guoping Jia, Susanne Graf
  • Using SPIN for feature interaction analysis-a case study
  • Muffy Calder, Alice Miller
  • From model checking to a temporal proof
  • Behavioural analysis of the enterprise javabens component architecture
  • Shin Nakajima, Tetsuo tamai
  • p2b: a translation utility for linking promela and symbolic model checking (tool paper)
  • Michael Baldamus, Jochen Schröder-Babo
  • Transformations for model checking distributed java programs
  • Scott D. Stoller, Yanhong A. Liu
  • Distribured LTL model-checking in SPIN
  • Jiri Barnat, Lubos Brim, Jitka Stříbrná
  • Parallel state space construction for model-checking
  • Hubert Garavel, Radu Mateescu, Irina Smarandache
  • Doron Peled, Lenore Zuck
  • Model checking systems of replicated processes with spin
  • Fabrice derepas, Paul Gastin
  • SPIN-based model checker for telecommunication protocols
  • Vivek K. Shanbhag, K. Gopinath
  • Modeling and verifying a price model for congestion control in computer networks using promela/spin
  • Clement Yuen, Wei Tjioe
  • Model checking project at philips research
  • Leszek Holenderski
  • Applications of model checking at honeywell laboratories
  • Darren Cofer ... [et al.]
  • Model checking if your life depends on it: a view from intel's trenches
  • Coarse-granular model checking in practice
  • Bernhard Steffen, Tiziana Margaria, Volker Braun
  • Rob Gerth
  • Model-checking infinite state-space systems with fine-grained abstractions using SPIN
  • Marsha Chechik, Bebet Devereux, Arie Gurfinkel
  • Implementing LTL model checking with net unfoldings
  • Javier Esparza, Keijo Heljanko
Control code
46837036
Dimensions
24 cm
Dimensions
unknown
Extent
x, 311 pages
Isbn
9783540421245
Isbn Type
(pbk. : alk. paper)
Lccn
2001032221
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
Sound
unknown sound
Specific material designation
remote
Label
Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings, Matthew Dwyer (ed.)
Publication
Note
On cover: ACM SIGSOFT
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
  • Directed explicit model checking with HSF-SPIN
  • Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue
  • Addressing dynamic issues of program model checking
  • Flavio Lerda, Willem Visser
  • Automaticallu validating temporal safety properties of interfaces
  • Thomas Ball, Sriram K. Rajamani
  • Verification experiments on the MASCARA protocol
  • Guoping Jia, Susanne Graf
  • Using SPIN for feature interaction analysis-a case study
  • Muffy Calder, Alice Miller
  • From model checking to a temporal proof
  • Behavioural analysis of the enterprise javabens component architecture
  • Shin Nakajima, Tetsuo tamai
  • p2b: a translation utility for linking promela and symbolic model checking (tool paper)
  • Michael Baldamus, Jochen Schröder-Babo
  • Transformations for model checking distributed java programs
  • Scott D. Stoller, Yanhong A. Liu
  • Distribured LTL model-checking in SPIN
  • Jiri Barnat, Lubos Brim, Jitka Stříbrná
  • Parallel state space construction for model-checking
  • Hubert Garavel, Radu Mateescu, Irina Smarandache
  • Doron Peled, Lenore Zuck
  • Model checking systems of replicated processes with spin
  • Fabrice derepas, Paul Gastin
  • SPIN-based model checker for telecommunication protocols
  • Vivek K. Shanbhag, K. Gopinath
  • Modeling and verifying a price model for congestion control in computer networks using promela/spin
  • Clement Yuen, Wei Tjioe
  • Model checking project at philips research
  • Leszek Holenderski
  • Applications of model checking at honeywell laboratories
  • Darren Cofer ... [et al.]
  • Model checking if your life depends on it: a view from intel's trenches
  • Coarse-granular model checking in practice
  • Bernhard Steffen, Tiziana Margaria, Volker Braun
  • Rob Gerth
  • Model-checking infinite state-space systems with fine-grained abstractions using SPIN
  • Marsha Chechik, Bebet Devereux, Arie Gurfinkel
  • Implementing LTL model checking with net unfoldings
  • Javier Esparza, Keijo Heljanko
Control code
46837036
Dimensions
24 cm
Dimensions
unknown
Extent
x, 311 pages
Isbn
9783540421245
Isbn Type
(pbk. : alk. paper)
Lccn
2001032221
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
Sound
unknown sound
Specific material designation
remote

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 ...