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

• Pubblicazione: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006
• Edizione: 1st ed. 2006.
• Descrizione fisica: 1 online resource (VIII, 244 p.)
• Disciplina: 004.01/51
• Soggetto topico: Computers; Software engineering; Programming languages (Electronic computers); Computer logic; Special purpose computers; Computer communication systems; Theory of Computation; Software Engineering; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Special Purpose and Application-Based Systems; Computer Communication Networks
• Persona (resp. second.): BernardoMarco; CimattiAlessandro
• 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.
• 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.: 996466090403316
• Lo trovi qui: Univ. di Salerno
• Serie: Programming and Software Engineering ; ; 3965