Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefu...

Full description

Saved in:
Bibliographic Details
Other Authors: Dillig, Isil (Editor), Tasiran, Serdar (Editor)
Format: Electronic Book Chapter
Language:English
Published: Springer Nature 2019
Series:Lecture Notes in Computer Science
Subjects:
Online Access:OAPEN Library: download the publication
OAPEN Library: description of the publication
Tags: Add Tag
No Tags, Be the first to tag this record!

MARC

LEADER 00000naaaa2200000uu 4500
001 oapen_2024_20_500_12657_23325
005 20200318
003 oapen
006 m o d
007 cr|mn|---annan
008 20200318s2019 xx |||||o ||| 0|eng d
020 |a 978-3-030-25540-4 
040 |a oapen  |c oapen 
024 7 |a 10.1007/978-3-030-25540-4  |c doi 
041 0 |a eng 
042 |a dc 
072 7 |a UMX  |2 bicssc 
072 7 |a UMZ  |2 bicssc 
072 7 |a UT  |2 bicssc 
072 7 |a UY  |2 bicssc 
072 7 |a UYM  |2 bicssc 
072 7 |a UYQ  |2 bicssc 
100 1 |a Dillig, Isil  |4 edt 
700 1 |a Tasiran, Serdar  |4 edt 
700 1 |a Dillig, Isil  |4 oth 
700 1 |a Tasiran, Serdar  |4 oth 
245 1 0 |a Computer Aided Verification  |b 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I 
260 |b Springer Nature  |c 2019 
300 |a 1 electronic resource (673 p.) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Lecture Notes in Computer Science 
506 0 |a Open Access  |2 star  |f Unrestricted online access 
520 |a This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections: Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency. 
540 |a Creative Commons  |f https://creativecommons.org/licenses/by/4.0  |2 cc  |4 https://creativecommons.org/licenses/by/4.0 
546 |a English 
650 7 |a Programming & scripting languages: general  |2 bicssc 
650 7 |a Software Engineering  |2 bicssc 
650 7 |a Computer networking & communications  |2 bicssc 
650 7 |a Computer science  |2 bicssc 
650 7 |a Computer modelling & simulation  |2 bicssc 
650 7 |a Artificial intelligence  |2 bicssc 
653 |a Computer science 
653 |a Software engineering 
653 |a Programming languages (Electronic computers) 
653 |a Computers 
653 |a Artificial intelligence 
653 |a Computer simulation 
653 |a Computer organization 
856 4 0 |a www.oapen.org  |u https://library.oapen.org/bitstream/id/bee8de42-38a0-4871-860d-d72b14d7daff/1006830.pdf  |7 0  |z OAPEN Library: download the publication 
856 4 0 |a www.oapen.org  |u http://library.oapen.org/handle/20.500.12657/23325  |7 0  |z OAPEN Library: description of the publication