Formal Methods for Hardware Verification [electronic resource] : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures /
Material type: TextSeries: Programming and Software Engineering ; 3965Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Edition: 1st ed. 2006Description: VIII, 244 p. online resourceContent type:- text
- computer
- online resource
- 9783540343059
- Computer science
- Software engineering
- Compilers (Computer programs)
- Computers, Special purpose
- Computer networks
- Theory of Computation
- Software Engineering
- Compilers and Interpreters
- Computer Science Logic and Foundations of Programming
- Special Purpose and Application-Based Systems
- Computer Communication Networks
- 004.0151 23
- QA75.5-76.95
Contents:
In:
Springer Nature eBook
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.
No physical items for this record
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.
There are no comments on this title.