Coverart for item
The Resource Unfoldings : a partial-order approach to model checking, Javier Esparza, Keijo Heljanko

Unfoldings : a partial-order approach to model checking, Javier Esparza, Keijo Heljanko

Label
Unfoldings : a partial-order approach to model checking
Title
Unfoldings
Title remainder
a partial-order approach to model checking
Statement of responsibility
Javier Esparza, Keijo Heljanko
Creator
Contributor
Subject
Language
eng
Summary
"In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory. They offer a gentle introduction to the basics of the method, and in particular they detail an unfolding-based algorithm for model checking concurrent systems against properties specified as formulas of linear temporal logic (LTL). Self-contained chapters cover transition systems and their products; unfolding products; search procedures for basic verification problems, such as reachability and livelocks; and model checking LTL. The final chapter summarizes the results of the book, and points the reader to tools and case studies." "The book will be of value to researchers and graduate students engaged in automatic verification and concurrency theory."--Jacket
Member of
Cataloging source
GW5XE
http://library.link/vocab/creatorName
Esparza, Javier
Dewey number
005.14
Illustrations
illustrations
Index
index present
Language note
English
LC call number
QA76.76.V47
LC item number
E8 2008eb
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
Heljanko, Keijo
Series statement
Monographs in theoretical computer science: an EATCS series,
http://library.link/vocab/subjectName
  • Computer software
  • Computer systems
  • COMPUTERS
  • Computer software
  • Computer systems
  • Informatique
  • Computer software
  • Computer systems
  • Verificatie
  • Structurele vergelijkingen
Label
Unfoldings : a partial-order approach to model checking, Javier Esparza, Keijo Heljanko
Instantiates
Publication
Bibliography note
Includes bibliographical references (pages 157-164) and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Introduction; Transition Systems and Products; Unfolding Products; Search Procedures for the Executability Problem; More on the Executability Problem; Search Procedures for the Repeated Executability Problem; Search Procedures for the Livelock Problem; Model Checking LTL; Summary, Applications, Extensions, and Tools
Control code
261324789
Dimensions
unknown
Extent
1 online resource (xii, 169 pages)
Form of item
online
Isbn
9783540774259
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-540-77426-6
Other physical details
illustrations
http://library.link/vocab/ext/overdrive/overdriveId
978-3-540-77425-9
Specific material designation
remote
System control number
(OCoLC)261324789
Label
Unfoldings : a partial-order approach to model checking, Javier Esparza, Keijo Heljanko
Publication
Bibliography note
Includes bibliographical references (pages 157-164) and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Introduction; Transition Systems and Products; Unfolding Products; Search Procedures for the Executability Problem; More on the Executability Problem; Search Procedures for the Repeated Executability Problem; Search Procedures for the Livelock Problem; Model Checking LTL; Summary, Applications, Extensions, and Tools
Control code
261324789
Dimensions
unknown
Extent
1 online resource (xii, 169 pages)
Form of item
online
Isbn
9783540774259
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-540-77426-6
Other physical details
illustrations
http://library.link/vocab/ext/overdrive/overdriveId
978-3-540-77425-9
Specific material designation
remote
System control number
(OCoLC)261324789

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