000 | 02783naaaa2200493uu 4500 | ||
---|---|---|---|
001 | https://directory.doabooks.org/handle/20.500.12854/34402 | ||
005 | 20220714153725.0 | ||
020 | _a978-3-030-25540-4 | ||
024 | 7 |
_a10.1007/978-3-030-25540-4 _cdoi |
|
041 | 0 | _aEnglish | |
042 | _adc | ||
072 | 7 |
_aUMX _2bicssc |
|
072 | 7 |
_aUMZ _2bicssc |
|
072 | 7 |
_aUT _2bicssc |
|
072 | 7 |
_aUY _2bicssc |
|
072 | 7 |
_aUYM _2bicssc |
|
072 | 7 |
_aUYQ _2bicssc |
|
100 | 1 |
_aDillig, Isil _4edt _91282600 |
|
700 | 1 |
_aTasiran, Serdar _4edt _91282601 |
|
700 | 1 |
_aDillig, Isil _4oth _91282600 |
|
700 | 1 |
_aTasiran, Serdar _4oth _91282601 |
|
245 | 1 | 0 | _aComputer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I |
260 |
_bSpringer Nature _c2019 |
||
300 | _a1 electronic resource (673 p.) | ||
506 | 0 |
_aOpen Access _2star _fUnrestricted online access |
|
520 | _aThis 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 |
_aCreative Commons _fhttps://creativecommons.org/licenses/by/4.0 _2cc _4https://creativecommons.org/licenses/by/4.0 |
||
546 | _aEnglish | ||
650 | 7 |
_aProgramming & scripting languages: general _2bicssc _9854920 |
|
650 | 7 |
_aSoftware Engineering _2bicssc _968523 |
|
650 | 7 |
_aComputer networking & communications _2bicssc _91008012 |
|
650 | 7 |
_aComputer science _2bicssc _957974 |
|
650 | 7 |
_aComputer modelling & simulation _2bicssc _91211342 |
|
650 | 7 |
_aArtificial intelligence _2bicssc _92458 |
|
653 | _aComputer science | ||
653 | _aSoftware engineering | ||
653 | _aProgramming languages (Electronic computers) | ||
653 | _aComputers | ||
653 | _aArtificial intelligence | ||
653 | _aComputer simulation | ||
653 | _aComputer organization | ||
856 | 4 | 0 |
_awww.oapen.org _uhttps://library.oapen.org/bitstream/20.500.12657/23325/1/1006830.pdf _70 _zDOAB: download the publication |
856 | 4 | 0 |
_awww.oapen.org _uhttps://directory.doabooks.org/handle/20.500.12854/34402 _70 _zDOAB: description of the publication |
999 |
_c2972872 _d2972872 |