LEADER 03701nam  22007695  450 
001 996466320403316
005 20230223001052.0
010   $a3-319-63390-2
024 7 $a10.1007/978-3-319-63390-9
035   $a(CKB)4340000000061643
035   $a(DE-He213)978-3-319-63390-9
035   $a(MiAaPQ)EBC6286312
035   $a(MiAaPQ)EBC5577822
035   $a(Au-PeEL)EBL5577822
035   $a(OCoLC)994220466
035   $a(PPN)203668855
035   $a(EXLCZ)994340000000061643
100   $a20170712d2017      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aComputer Aided Verification$b[electronic resource] $e29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II /$fedited by Rupak Majumdar, Viktor Kun?ak
205   $a1st ed. 2017.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017.
215   $a1 online resource (XVII, 623 p. 146 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10427
311   $a3-319-63389-9 
320   $aIncludes bibliographical references and index.
327   $aData Driven Techniques -- Runtime Verication -- Cyber-Physical Systems -- Concurrency -- Analysis of Software and Hardware -- Foundations of Verification -- Distributed and Networked Systems -- Synthesis -- Decision Procedures and their Applications -- Software Analysis.
330   $aThe two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017. The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions. The CAV conference series is dedicated to the advancement of the theory and practice of computer-aided formal analysis of hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10427
606   $aComputer science
606   $aCompilers (Computer programs)
606   $aSoftware engineering
606   $aComputer programming
606   $aComputers
606   $aMachine theory
606   $aComputer Science Logic and Foundations of Programming
606   $aCompilers and Interpreters
606   $aSoftware Engineering
606   $aProgramming Techniques
606   $aComputing Milieux
606   $aFormal Languages and Automata Theory
615  0$aComputer science.
615  0$aCompilers (Computer programs).
615  0$aSoftware engineering.
615  0$aComputer programming.
615  0$aComputers.
615  0$aMachine theory.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aCompilers and Interpreters.
615 24$aSoftware Engineering.
615 24$aProgramming Techniques.
615 24$aComputing Milieux.
615 24$aFormal Languages and Automata Theory.
676   $a005.14
702   $aMajumdar$b Rupak$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aKun?ak$b Viktor$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466320403316
996   $aComputer Aided Verification$9772228
997   $aUNISA