LEADER 03540nam  22006375  450 
001 996465485203316
005 20200702033416.0
010   $a3-540-69577-X
024 7 $a10.1007/3-540-63475-4
035   $a(CKB)1000000000234713
035   $a(SSID)ssj0000323214
035   $a(PQKBManifestationID)11937897
035   $a(PQKBTitleCode)TC0000323214
035   $a(PQKBWorkID)10296504
035   $a(PQKB)10251685
035   $a(DE-He213)978-3-540-69577-6
035   $a(PPN)155231715
035   $a(EXLCZ)991000000000234713
100   $a20121227d1997      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFormal Hardware Verification$b[electronic resource] $eMethods and Systems in Comparison /$fedited by Thomas Kropf
205   $a1st ed. 1997.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1997.
215   $a1 online resource (XII, 376 p.)
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1287
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-63475-4 
327   $aSymbolic trajectory evaluation -- Automated verification with abstract state machines using multiway decision graphs -- Design verification using Synchronized Transitions -- Hardware verification using PVS -- Verifying VHDL designs with COSPAN -- The C@S system: Combining proof strategies for system verification -- Appendix: The common book examples.
330   $aThis state-of-the-art monograph presents a coherent survey of a variety of methods and systems for formal hardware verification. It emphasizes the presentation of approaches that have matured into tools and systems usable for the actual verification of nontrivial circuits. All in all, the book is a representative and well-structured survey on the success and future potential of formal methods in proving the correctness of circuits. The various chapters describe the respective approaches supplying theoretical foundations as well as taking into account the application viewpoint. By applying all methods and systems presented to the same set of IFIP WG10.5 hardware verification examples, a valuable and fair analysis of the strenghts and weaknesses of the various approaches is given.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v1287
606   $aComputer engineering
606   $aComputer hardware
606   $aComputer logic
606   $aMathematical logic
606   $aComputer Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I27000
606   $aComputer Hardware$3https://scigraph.springernature.com/ontologies/product-market-codes/I1200X
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
615  0$aComputer engineering.
615  0$aComputer hardware.
615  0$aComputer logic.
615  0$aMathematical logic.
615 14$aComputer Engineering.
615 24$aComputer Hardware.
615 24$aLogics and Meanings of Programs.
615 24$aMathematical Logic and Formal Languages.
676   $a621.39/5
702   $aKropf$b Thomas$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465485203316
996   $aFormal hardware verification$91489190
997   $aUNISA