LEADER 03384nam  22006735  450 
001 996466443703316
005 20230330030528.0
010   $a3-319-96142-X
024 7 $a10.1007/978-3-319-96142-2
035   $a(CKB)4100000005323161
035   $a(DE-He213)978-3-319-96142-2
035   $a(oapen)https://directory.doabooks.org/handle/20.500.12854/32621
035   $a(PPN)229502563
035   $a(EXLCZ)994100000005323161
100   $a20180720d2018      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] $e30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II /$fedited by Hana Chockler, Georg Weissenbacher
205   $a1st ed. 2018.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018.
215   $a1 online resource (XX, 545 p. 106 illus.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10982
311   $a3-319-96141-1 
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 ;$v10982
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
906   $aBOOK
912   $a996466443703316
996   $aComputer Aided Verification$93027789
997   $aUNISA