Coverart for item
The Resource Model checking software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings, Dragan Bošnački, Stefan Leue (eds.)

Model checking software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings, Dragan Bošnački, Stefan Leue (eds.)

Label
Model checking software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings
Title
Model checking software
Title remainder
9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings
Statement of responsibility
Dragan Bošnački, Stefan Leue (eds.)
Title variation
9th International SPIN Workshop
Creator
Contributor
Subject
Genre
Language
eng
Related
Member of
Additional physical form
Also available via the World Wide Web with additional title: Model checking of software, 9th international SPIN workshop, Grenoble, France, April 11-13, 2002, proceedings. Abstracts available without subscription.
Cataloging source
DLC
Dewey number
005.1/4
Illustrations
illustrations
Index
index present
LC call number
QA76.76.V47
LC item number
I58 2002
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2002
http://bibfra.me/vocab/lite/meetingName
International SPIN Workshop
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1963-
http://library.link/vocab/relatedWorkOrContributorName
  • Bošnački, Dragan
  • Leue, Stefan
Series statement
Lecture notes in computer science,
Series volume
2318
http://library.link/vocab/subjectName
  • Computer simulation
  • Computer software
Label
Model checking software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings, Dragan Bošnački, Stefan Leue (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
SAT-Based Counterexample Guided Abstraction Refinement / Edmund M. Clarke -- Abstract Interpretation: Theory and Practice / Patrick Cousot -- SPIN Tutorial: How to Become a SPIN Doctor / Theo C. Ruys -- Abstraction in Software Model Checking: Principles and Practice / Dennis Dams -- Symmetry Reduction Criteria for Software Model Checking / Radu Iosif -- Bytecode Model Checking: An Experimental Analysis / David Basin, Stefan Friedrich and Marek Gawkowski / [et al.] -- The Influence of Software Module Systems on Modular Verification / Harry C. Li, Kathi Fisler and Shriram Krishnamurthi -- Extending the Translation from SDL to Promela / Armelle Prigent, Franck Cassez and Philippe Dhaussy / [et al.] -- Model Checking Knowledge and Time / Wiebe van der Hoek and Michael Wooldridge -- Partial Order Reduction in Directed Model Checking / Alberto Lluch-Lafuente, Stefan Edelkamp and Stefan Leue -- Local Parallel Model Checking for the Alternation-Free [mu]-Calculus / Benedikt Bollig, Martin Leucker and Michael Weber -- The Agreement Problem Protocol Verification Environment / J. S. Pascoe, R. J. Loader and V. S. Sunderam -- Bottleneck Analysis of a Gigabit Network Interface Card: Formal Verification Approach / Hyun-Wook Jin, Ki-Seok Bang and Chuck Yoo / [et al.] -- Using SPIN to Verify Security Properties of Cryptographic Protocols / Paolo Maggi and Riccardo Sisto -- Modeling and Verification of Interactive Flexible Multimedia Presentations Using PROMELA/SPIN / Ramazan Savas Aygun and Aidong Zhang -- SPINning Parallel Systems Software / Olga Shumsky Matlin, Ewing Lusk and William McCune -- Dynamic Bounds and Transition Merging for Local First Search / D. Lugiez, P. Niebert and S. Zennou -- Comparing Symbolic and Explicit Model Checking of a Software System / Cindy Eisner and Doron Peled -- Industrial Model Checking Based on Satisfiability Solvers / Per Bjesse -- A Typical Testing Problem: Validating WML Cellphones / Yves-Marie Quemener -- Heuristic Model Checking for Java Programs / Alex Groce and Willem Visser -- System Specification and Verification Using High Level Concepts -- A Tool Demonstration / Christian Stehno -- Demonstration of an Automated Integrated Test Environment for Web-Based Applications / Tiziana Margaria, Oliver Niese and Bernhard Steffen -- [alpha]SPIN: Extending SPIN with Abstraction / Maria del Mar Gallardo, Jesus Martinez and Pedro Merino / [et al.]
Control code
49320468
Dimensions
24 cm
Dimensions
unknown
Extent
x, 257 pages
Isbn
9783540434771
Isbn Type
(softcover : alk. paper)
Lccn
2002021114
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
Specific material designation
remote
Label
Model checking software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings, Dragan Bošnački, Stefan Leue (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
SAT-Based Counterexample Guided Abstraction Refinement / Edmund M. Clarke -- Abstract Interpretation: Theory and Practice / Patrick Cousot -- SPIN Tutorial: How to Become a SPIN Doctor / Theo C. Ruys -- Abstraction in Software Model Checking: Principles and Practice / Dennis Dams -- Symmetry Reduction Criteria for Software Model Checking / Radu Iosif -- Bytecode Model Checking: An Experimental Analysis / David Basin, Stefan Friedrich and Marek Gawkowski / [et al.] -- The Influence of Software Module Systems on Modular Verification / Harry C. Li, Kathi Fisler and Shriram Krishnamurthi -- Extending the Translation from SDL to Promela / Armelle Prigent, Franck Cassez and Philippe Dhaussy / [et al.] -- Model Checking Knowledge and Time / Wiebe van der Hoek and Michael Wooldridge -- Partial Order Reduction in Directed Model Checking / Alberto Lluch-Lafuente, Stefan Edelkamp and Stefan Leue -- Local Parallel Model Checking for the Alternation-Free [mu]-Calculus / Benedikt Bollig, Martin Leucker and Michael Weber -- The Agreement Problem Protocol Verification Environment / J. S. Pascoe, R. J. Loader and V. S. Sunderam -- Bottleneck Analysis of a Gigabit Network Interface Card: Formal Verification Approach / Hyun-Wook Jin, Ki-Seok Bang and Chuck Yoo / [et al.] -- Using SPIN to Verify Security Properties of Cryptographic Protocols / Paolo Maggi and Riccardo Sisto -- Modeling and Verification of Interactive Flexible Multimedia Presentations Using PROMELA/SPIN / Ramazan Savas Aygun and Aidong Zhang -- SPINning Parallel Systems Software / Olga Shumsky Matlin, Ewing Lusk and William McCune -- Dynamic Bounds and Transition Merging for Local First Search / D. Lugiez, P. Niebert and S. Zennou -- Comparing Symbolic and Explicit Model Checking of a Software System / Cindy Eisner and Doron Peled -- Industrial Model Checking Based on Satisfiability Solvers / Per Bjesse -- A Typical Testing Problem: Validating WML Cellphones / Yves-Marie Quemener -- Heuristic Model Checking for Java Programs / Alex Groce and Willem Visser -- System Specification and Verification Using High Level Concepts -- A Tool Demonstration / Christian Stehno -- Demonstration of an Automated Integrated Test Environment for Web-Based Applications / Tiziana Margaria, Oliver Niese and Bernhard Steffen -- [alpha]SPIN: Extending SPIN with Abstraction / Maria del Mar Gallardo, Jesus Martinez and Pedro Merino / [et al.]
Control code
49320468
Dimensions
24 cm
Dimensions
unknown
Extent
x, 257 pages
Isbn
9783540434771
Isbn Type
(softcover : alk. paper)
Lccn
2002021114
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
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 ...