02685nam 2200613 a 450 991076847620332120200520144314.03-540-34305-910.1007/11757283(CKB)1000000000283846(SSID)ssj0000317715(PQKBManifestationID)11253566(PQKBTitleCode)TC0000317715(PQKBWorkID)10295124(PQKB)11166515(DE-He213)978-3-540-34305-9(MiAaPQ)EBC3068265(PPN)123134897(EXLCZ)99100000000028384620060410d2006 uy 0engurnn|008mamaatxtccrFormal 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.)1st ed. 2006.Berlin ;New York Springerc20061 online resource (VIII, 244 p.) Lecture notes in computer science,0302-9743 ;3965LNCS sublibrary. SL 2, Programming and software engineeringBibliographic Level Mode of Issuance: Monograph3-540-34304-0 Includes bibliographical references and index.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.Lecture notes in computer science ;3965.LNCS sublibrary.SL 2,Programming and software engineering.SFM 2006Hardware verificationFormal methods (Computer science)CongressesIntegrated circuitsVerificationCongressesFormal methods (Computer science)Integrated circuitsVerification004.01/51Cimatti Alessandro1429402Bernardo Marco1754236International School on Formal Methods for the Design of Computer, Communication, and Software SystemsMiAaPQMiAaPQMiAaPQBOOK9910768476203321Formal methods for hardware verification4198571UNINA