LEADER 03886nam  22008175  450 
001 9910768476203321
005 20251226204246.0
010   $a3-540-34305-9
024 7 $a10.1007/11757283
035   $a(CKB)1000000000283846
035   $a(SSID)ssj0000317715
035   $a(PQKBManifestationID)11253566
035   $a(PQKBTitleCode)TC0000317715
035   $a(PQKBWorkID)10295124
035   $a(PQKB)11166515
035   $a(DE-He213)978-3-540-34305-9
035   $a(MiAaPQ)EBC3068265
035   $a(PPN)123134897
035   $a(BIP)34164075
035   $a(BIP)13415722
035   $a(EXLCZ)991000000000283846
100   $a20100301d2006      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFormal Methods for Hardware Verification $e6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures /$fedited by Marco Bernardo, Alessandro Cimatti
205   $a1st ed. 2006.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006.
215   $a1 online resource (VIII, 244 p.) 
225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v3965
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a3-540-34304-0 
320   $aIncludes bibliographical references and index.
327   $aHardware 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.
330   $aThis book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2006). SFM 2006 was devoted to formal techniques for hardware verification and covers several aspects of the hardware design process, including hardware design languages and simulation, property specification formalisms, automatic test pattern generation, symbolic trajectory evaluation, and more.
410  0$aProgramming and Software Engineering,$x2945-9168 ;$v3965
606   $aComputer science
606   $aSoftware engineering
606   $aCompilers (Computer programs)
606   $aComputers, Special purpose
606   $aComputer networks
606   $aTheory of Computation
606   $aSoftware Engineering
606   $aCompilers and Interpreters
606   $aComputer Science Logic and Foundations of Programming
606   $aSpecial Purpose and Application-Based Systems
606   $aComputer Communication Networks
615  0$aComputer science.
615  0$aSoftware engineering.
615  0$aCompilers (Computer programs).
615  0$aComputers, Special purpose.
615  0$aComputer networks.
615 14$aTheory of Computation.
615 24$aSoftware Engineering.
615 24$aCompilers and Interpreters.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aSpecial Purpose and Application-Based Systems.
615 24$aComputer Communication Networks.
676   $a004.01/51
701   $aCimatti$b Alessandro$01429402
701   $aBernardo$b Marco$01754236
712 12$aInternational School on Formal Methods for the Design of Computer, Communication, and Software Systems
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910768476203321
996   $aFormal methods for hardware verification$94198571
997   $aUNINA