Bild från Syndetics
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 / edited by Marco Bernardo, Alessandro Cimatti.
Materialtyp:
TextSerie: Utgivningsuppgift: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Utgåva: 1st ed. 2006Beskrivning: VIII, 244 p. online resourceInnehållstyp: - text
- computer
- online resource
- 9783540343059
- Theory of Computation
- Software Engineering
- Compilers and Interpreters
- Computer Science Logic and Foundations of Programming
- Special Purpose and Application-Based Systems
- Computer Communication Networks
- Computer science
- Software engineering
- Compilers (Computer programs)
- Computers, Special purpose
- Computer networks
- 004.0151 23
Innehåll:
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.
Inga fysiska exemplar för denna post
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.
Licensed e-book