03860nam 22007695 450 99646609040331620200704234501.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)99100000000028384620100301d2006 u| 0engurnn|008mamaatxtccrFormal 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 Cimatti1st ed. 2006.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2006.1 online resource (VIII, 244 p.) Programming and Software Engineering ;3965Bibliographic 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.Programming and Software Engineering ;3965ComputersSoftware engineeringProgramming languages (Electronic computers)Computer logicSpecial purpose computersComputer communication systemsTheory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XSpecial Purpose and Application-Based Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I13030Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Computers.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.004.01/51Bernardo Marcoedthttp://id.loc.gov/vocabulary/relators/edtCimatti Alessandroedthttp://id.loc.gov/vocabulary/relators/edtInternational School on Formal Methods for the Design of Computer, Communication, and Software SystemsBOOK996466090403316Formal Methods for Hardware Verification774272UNISA