03401nam 22006495 450 99646590820331620200701235515.03-642-19583-010.1007/978-3-642-19583-9(CKB)2670000000076047(SSID)ssj0000537430(PQKBManifestationID)11352577(PQKBTitleCode)TC0000537430(PQKBWorkID)10552732(PQKB)10053901(DE-He213)978-3-642-19583-9(MiAaPQ)EBC3066523(PPN)151589526(EXLCZ)99267000000007604720110309d2011 u| 0engurnn|008mamaatxtccrHardware and Software: Verification and Testing[electronic resource] 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers /edited by Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz1st ed. 2011.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2011.1 online resource (X, 197 p. 51 illus., 13 illus. in color.) Programming and Software Engineering ;6504Bibliographic Level Mode of Issuance: Monograph3-642-19582-2 Includes bibliographical references and index.This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, Israel in October 2010. The 10 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 30 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and have a research focus on hybrid methods and the migration of methods and ideas between hardware and software, static and dynamic analysis, pre- and post-silicon.Programming and Software Engineering ;6504Software engineeringComputer logicProgramming languages (Electronic computers)Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XProgramming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Software engineering.Computer logic.Programming languages (Electronic computers).Software Engineering.Logics and Meanings of Programs.Programming Languages, Compilers, Interpreters.005.1Barner Sharonedthttp://id.loc.gov/vocabulary/relators/edtHarris Ianedthttp://id.loc.gov/vocabulary/relators/edtKroening Danieledthttp://id.loc.gov/vocabulary/relators/edtRaz Ornaedthttp://id.loc.gov/vocabulary/relators/edtInternational Haifa Verification ConferenceBOOK996465908203316Hardware and Software, Verification and Testing772242UNISA