LEADER 00000cam  2200757Ii 4500 
001    on1046066020 
003    OCoLC 
005    20200419060737.7 
006    m     o  d         
007    cr cnu|||unuuu 
008    180726s2018    sz a    o     101 0 eng d 
015    GBB8M4061|2bnb 
016 7  019138867|2Uk 
020    9783319961453|q(electronic bk.) 
020    3319961454|q(electronic bk.) 
020    |z9783319961446|q(print) 
024 7  10.1007/978-3-319-96145-3|2doi 
035    (OCoLC)1046066020 
037    com.springer.onix.9783319961453|bSpringer Nature 
040    GW5XE|beng|erda|epn|cGW5XE|dOCLCO|dUAB|dOCLCF|dMERER|dU3W
       |dESU|dOCLCQ|dLVT|dUKMGB|dOCLCO|dCAUOI|dBRX|dAUD|dCOO|dAU@
       |dOCLCQ|dOCL 
049    STJJ 
050  4 QA76.76.V47 
082 04 004.24|223 
111 2  CAV (Conference)|n(30th :|d2018 :|cOxford, England) 
245 10 Computer aided verification :|b30th International 
       Conference, CAV 2018, held as part of the Federated Logic 
       Conference, FloC 2018, Oxford, UK, July 14-17, 2018, 
       Proceedings.|nPart I /|cHana Chockler, Georg Weissenbacher
       (eds.). 
246 3  CAV 2018 
264  1 Cham, Switzerland :|bSpringer Open,|c2018. 
300    1 online resource (xix, 703 pages) :|billustrations 
336    text|btxt|2rdacontent 
337    computer|bc|2rdamedia 
338    online resource|bcr|2rdacarrier 
490 1  Lecture notes in computer science,|x0302-9743 ;|v10981 
490 1  LNCS sublibrary. SL 1, Theoretical computer science and 
       general issues 
500    International conference proceedings. 
500    Includes author index. 
506 0  Open access.|5GW5XE 
520    This 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. 
588 0  Online resource; title from PDF title page (SpringerLink, 
       viewed July 26, 2018). 
590    SpringerLink|bSpringer Nature Open Access eBooks 
650  0 Computer software|xVerification|vCongresses. 
650  7 Computers|xSoftware Development & Engineering|xGeneral.
       |2bisacsh 
650  7 Computers|xIntelligence (AI) & Semantics.|2bisacsh 
650  7 Mathematics|xLogic.|2bisacsh 
650  7 Computers|xProgramming|xAlgorithms.|2bisacsh 
650  7 Computers|xComputer Simulation.|2bisacsh 
650  7 Software Engineering.|2bicssc 
650  7 Artificial intelligence.|2bicssc 
650  7 Mathematical theory of computation.|2bicssc 
650  7 Algorithms & data structures.|2bicssc 
650  7 Computer modelling & simulation.|2bicssc 
650  7 Computers|xProgramming|xGeneral.|2bisacsh 
650  7 Computer programming|xsoftware development.|2bicssc 
650  7 Computer software|xVerification.|2fast|0(OCoLC)fst00872604
655  4 Electronic books. 
655  7 Conference papers and proceedings.|2fast
       |0(OCoLC)fst01423772 
700 1  Chockler, Hana,|eeditor. 
700 1  Weissenbacher, Georg,|eeditor. 
711 2  Federated Logic Conference|d(2018 :|cOxford, England),
       |jjointly held conference. 
830  0 Lecture notes in computer science ;|v10981.|x0302-9743 
830  0 LNCS sublibrary.|nSL 1,|pTheoretical computer science and 
       general issues. 
914    on1046066020 
994    92|bSTJ