Coverart for item
The Resource Verification of reactive systems : formal methods and algorithms, Klaus Schneider

Verification of reactive systems : formal methods and algorithms, Klaus Schneider

Label
Verification of reactive systems : formal methods and algorithms
Title
Verification of reactive systems
Title remainder
formal methods and algorithms
Statement of responsibility
Klaus Schneider
Creator
Subject
Language
eng
Cataloging source
DLC
http://library.link/vocab/creatorDate
1967-
http://library.link/vocab/creatorName
Schneider, Klaus
Illustrations
illustrations
Index
index present
LC call number
QA76.76.V47
LC item number
S34 2004
Literary form
non fiction
Series statement
Texts in theoretical computer science.
http://library.link/vocab/subjectName
  • Computer systems
  • Formal methods (Computer science)
  • Computer algorithms
Label
Verification of reactive systems : formal methods and algorithms, Klaus Schneider
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
  • Preface
  • Contributing Authors
  • Introduction/
  • Rolf Drechsler
  • 1.
  • What Sat-Solvers can and cannot do/
  • Eugene Goldberg
  • p. 1
  • 2.
  • Advancements in mixed BDD and SAT techniques/
  • Gianpiero Cabodi
  • Stefano Quer
  • p. 45
  • Wolfgang Kunz
  • p. 77
  • 3.
  • Equivalence Checking of Arithmetic Circuits/
  • Dominik Stoffel
  • Evgeny Karibaev
  • Irina Kufareva
  • p. 125
  • 4.
  • Application of Property Checking and Underlying Techniques/
  • Raik Brinkmann
  • Peer Johannsen
  • Klaus Winkelmann
  • 5.
  • Assertion-Based Verification/
  • Claudionor Nunes Coelho, Jr.
  • Harry D. Foster
  • p. 167
  • p. 205
  • 6.
  • Formal Verification for Nonlinear Analog Systems/
  • Walter Hartong
  • Ralf Klausen
  • Lars Hedrich
  • Index.
  • p. 247
Control code
b93540002960
Dimensions
25 cm.
Extent
xiv, 600 p.
Isbn
9783540002963
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
ill.
Label
Verification of reactive systems : formal methods and algorithms, Klaus Schneider
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
  • Preface
  • Contributing Authors
  • Introduction/
  • Rolf Drechsler
  • 1.
  • What Sat-Solvers can and cannot do/
  • Eugene Goldberg
  • p. 1
  • 2.
  • Advancements in mixed BDD and SAT techniques/
  • Gianpiero Cabodi
  • Stefano Quer
  • p. 45
  • Wolfgang Kunz
  • p. 77
  • 3.
  • Equivalence Checking of Arithmetic Circuits/
  • Dominik Stoffel
  • Evgeny Karibaev
  • Irina Kufareva
  • p. 125
  • 4.
  • Application of Property Checking and Underlying Techniques/
  • Raik Brinkmann
  • Peer Johannsen
  • Klaus Winkelmann
  • 5.
  • Assertion-Based Verification/
  • Claudionor Nunes Coelho, Jr.
  • Harry D. Foster
  • p. 167
  • p. 205
  • 6.
  • Formal Verification for Nonlinear Analog Systems/
  • Walter Hartong
  • Ralf Klausen
  • Lars Hedrich
  • Index.
  • p. 247
Control code
b93540002960
Dimensions
25 cm.
Extent
xiv, 600 p.
Isbn
9783540002963
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
ill.

Library Locations

    • Harold Cohen LibraryBorrow it
      Ashton Street, Liverpool, L69 3DA, GB
      53.418074 -2.967913
Processing Feedback ...