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.)
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
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.)
|
| Pubblicazione: | Berlin ; ; New York, : Springer, c2006 |
| Edizione: | 1st ed. 2006. |
| Descrizione fisica: | 1 online resource (VIII, 244 p.) |
| Disciplina: | 004.01/51 |
| Soggetto topico: | Formal methods (Computer science) |
| Integrated circuits - Verification | |
| Altri autori: |
CimattiAlessandro
BernardoMarco
|
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Nota di bibliografia: | Includes bibliographical references and index. |
| Nota di contenuto: | 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. |
| Altri titoli varianti: | SFM 2006 |
| Hardware verification | |
| Titolo autorizzato: | Formal methods for hardware verification |
| ISBN: | 3-540-34305-9 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910768476203321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture notes in computer science ; ; 3965.
LNCS sublibrary. : SL 2, . -Programming and software engineering.