000 03786nam a22003855i 4500
001 299159
003 MX-SnUAN
005 20160429155536.0
007 cr nn 008mamaa
008 150903s2009 gw | o |||| 0|eng d
020 _a9783642017025
_99783642017025
024 7 _a10.1007/9783642017025
_2doi
035 _avtls000353152
039 9 _a201509030522
_bVLOAD
_c201405060316
_dVLOAD
_y201402180937
_zstaff
040 _aMX-SnUAN
_bspa
_cMX-SnUAN
_erda
050 4 _aQA76.758
100 1 _aChockler, Hana.
_eeditor.
_9335935
245 1 0 _aHardware and Software: Verification and Testing :
_b4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings /
_cedited by Hana Chockler, Alan J. Hu.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2009.
300 _brecurso en línea.
336 _atexto
_btxt
_2rdacontent
337 _acomputadora
_bc
_2rdamedia
338 _arecurso en línea
_bcr
_2rdacarrier
347 _aarchivo de texto
_bPDF
_2rda
490 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v5394
500 _aSpringer eBooks
505 0 _aSection 1: Invited Talks -- Hazards of Verification -- Automata-Theoretic Model Checking Revisited -- Proofs, Interpolants, and Relevance Heuristics -- Is Verification Getting Too Complex? -- Can Mutation Analysis Help Fix Our Broken Coverage Metrics? -- Practical Considerations Concerning HL-to -RT Equivalence Checking -- Section 2: Regular Papers -- A Framework for Inherent Vacuity -- A Meta Heuristic for Effectively Detecting Concurrency Errors -- A Uniform Approach to Three-Valued Semantics for ?-Calculus on Abstractions of Hybrid Automata -- Automatic Boosting of Cross-Product Coverage Using Bayesian Networks -- Efficient Decision Procedure for Bounded Integer Non-linear Operations Using SMT( ) -- Evaluating Workloads Using Comparative Functional Coverage -- Iterative Delta Debugging -- Linear-Time Reductions of Resolution Proofs -- Significant Diagnostic Counterexamples in Probabilistic Model Checking -- Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order ????? Modulator -- Structural Contradictions -- Synthesizing Test Models from Test Cases -- Section 3: Tool Papers -- d-TSR: Parallelizing SMT-Based BMC Using Tunnels over a Distributed Framework -- Progress in Automated Software Defect Prediction -- SeeCode – A Code Review Plug-in for Eclipse -- User-Friendly Model Checking: Automatically Configuring Algorithms with RuleBase/PE.
520 _aThis book constitutes the thoroughly refereed post-conference proceedings of the 4th International Haifa Verification Conference, HVC 2008, held in Haifa, Israel in October 2008. The 12 revised full papers and 4 tool papers presented together with 6 invited lectures were carefully reviewed and selected from 49 initial submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and present academic research in the verification of systems, generally divided into two paradigms - formal verification and dynamic verification (testing). Within each paradigm, different algorithms and techniques are used for hardware and software systems with a special focus on hybrid methods.
590 _aPara consulta fuera de la UANL se requiere clave de acceso remoto.
700 1 _aHu, Alan J.
_eeditor.
_9335936
710 2 _aSpringerLink (Servicio en línea)
_9299170
776 0 8 _iEdición impresa:
_z9783642017018
856 4 0 _uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-3-642-01702-5
_zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942 _c14
999 _c299159
_d299159