Coverart for item
The Resource Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures, Marco Bernardo, Alessandro Cimatti (eds.)

Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures, Marco Bernardo, Alessandro Cimatti (eds.)

Label
Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures
Title
Formal methods for hardware verification
Title remainder
6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures
Statement of responsibility
Marco Bernardo, Alessandro Cimatti (eds.)
Title variation
  • SFM 2006
  • Hardware verification
Creator
Contributor
Subject
Genre
Language
eng
Member of
Action
digitized
Cataloging source
GW5XE
Dewey number
004.01/51
Illustrations
illustrations
Index
index present
LC call number
QA76.9.F67
LC item number
I586 2006
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2006
http://bibfra.me/vocab/lite/meetingName
International School on Formal Methods for the Design of Computer, Communication, and Software Systems
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Cimatti, Alessandro
  • Bernardo, Marco
Series statement
  • LNCS sublibrary. SL 2, Programming and software engineering
  • Lecture notes in computer science,
  • Tutorial
Series volume
3965.
http://library.link/vocab/subjectName
  • Formal methods (Computer science)
  • Integrated circuits
  • Circuits intégrés
  • Méthodes formelles (Informatique)
  • Formal methods (Computer science)
  • Integrated circuits
  • Informatique
  • Formal methods (Computer science)
  • Integrated circuits
Label
Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures, Marco Bernardo, Alessandro Cimatti (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references 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
Hardware Design and Simulation for Verification -- Automatic Test Pattern Generation -- An Introduction to Symbolic Trajectory Evaluation -- BDD-Based Hardware Verification -- SAT-Based Verification Methods and Applications in Hardware Verification -- Building Efficient Decision Procedures on Top of SAT Solvers -- Refinement and Theorem Proving -- Floating-Point Verification Using Theorem Proving
Control code
262693099
Dimensions
unknown
Extent
1 online resource (vi, 242 pages)
Form of item
online
Isbn
9783540343042
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/11757283
Other physical details
illustrations.
http://library.link/vocab/ext/overdrive/overdriveId
978-3-540-34304-2
Reproduction note
Electronic reproduction.
Specific material designation
remote
System control number
(OCoLC)262693099
System details
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Label
Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures, Marco Bernardo, Alessandro Cimatti (eds.)
Publication
Bibliography note
Includes bibliographical references 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
Hardware Design and Simulation for Verification -- Automatic Test Pattern Generation -- An Introduction to Symbolic Trajectory Evaluation -- BDD-Based Hardware Verification -- SAT-Based Verification Methods and Applications in Hardware Verification -- Building Efficient Decision Procedures on Top of SAT Solvers -- Refinement and Theorem Proving -- Floating-Point Verification Using Theorem Proving
Control code
262693099
Dimensions
unknown
Extent
1 online resource (vi, 242 pages)
Form of item
online
Isbn
9783540343042
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/11757283
Other physical details
illustrations.
http://library.link/vocab/ext/overdrive/overdriveId
978-3-540-34304-2
Reproduction note
Electronic reproduction.
Specific material designation
remote
System control number
(OCoLC)262693099
System details
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.

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