LEADER 03556nam  22007575  450 
001 9910349421703321
005 20241120175251.0
010   $a9783319961453
010   $a3319961454
024 7 $a10.1007/978-3-319-96145-3
035   $a(CKB)4100000005323162
035   $a(DE-He213)978-3-319-96145-3
035   $a(oapen)https://directory.doabooks.org/handle/20.500.12854/34831
035   $a(PPN)229502555
035   $a(MiAaPQ)EBC31281887
035   $a(Au-PeEL)EBL31281887
035   $a(EXLCZ)994100000005323162
100   $a20180721d2018      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aComputer Aided Verification $e30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I /$fedited by Hana Chockler, Georg Weissenbacher
205   $a1st ed. 2018.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018.
215   $a1 online resource (XIX, 703 p. 146 illus.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10981
311 08$a9783319961446 
311 08$a3319961446 
330   $aThis open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verication to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10981
606   $aComputer science
606   $aSoftware engineering
606   $aArtificial intelligence
606   $aMachine theory
606   $aAlgorithms
606   $aComputer simulation
606   $aComputer Science Logic and Foundations of Programming
606   $aSoftware Engineering
606   $aArtificial Intelligence
606   $aFormal Languages and Automata Theory
606   $aAlgorithms
606   $aComputer Modelling
615  0$aComputer science.
615  0$aSoftware engineering.
615  0$aArtificial intelligence.
615  0$aMachine theory.
615  0$aAlgorithms.
615  0$aComputer simulation.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aSoftware Engineering.
615 24$aArtificial Intelligence.
615 24$aFormal Languages and Automata Theory.
615 24$aAlgorithms.
615 24$aComputer Modelling.
676   $a005.1015113
702   $aChockler$b Hana$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aWeissenbacher$b Georg$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910349421703321
996   $aComputer Aided Verification$93027789
997   $aUNINA