000			01756nam a2200265Ii 4500
008			221202s xx 000 0 und d
245		0	_aComputer Aided Verification
246			_a33rd International Conference, CAV 2021, Virtual Event, July 20:23, 2021, Proceedings, Part I
264			_bSpringer Nature _c2021
300			_a1 online resource (922 pages)
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
490			_aLecture Notes in Computer Science; Theoretical Computer Science and General Issues _v12759
520			_aThis open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections: Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis. Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification. This is an open access book.
653			_aArchitecture Verification
653			_aArtificial Intelligence
653			_aAutomata Theory
653			_aComputer Programming
653			_aDistributed Computer Systems
700	1		_aLeino, K. Rustan M.
700	1		_aSilva, Alexandra
856			_uhttps://docs.google.com/spreadsheets/d/1yKIrdCPDAG_9c22mwoOIO2DOhtj65Wqa/edit?usp=sharing&ouid=106555315294820607512&rtpof=true&sd=true _yList of Curated E-Books
942			_cE-BOOK
999			_c92460 _d92457