Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II

·
· Springer Nature
E-bok
940
Sidor

Om den här e-boken

This 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.

Betygsätt e-boken

Berätta vad du tycker.

Läsinformation

Smartphones och surfplattor
Installera appen Google Play Böcker för Android och iPad/iPhone. Appen synkroniseras automatiskt med ditt konto så att du kan läsa online eller offline var du än befinner dig.
Laptops och stationära datorer
Du kan lyssna på ljudböcker som du har köpt på Google Play via webbläsaren på datorn.
Läsplattor och andra enheter
Om du vill läsa boken på enheter med e-bläck, till exempel Kobo-läsplattor, måste du ladda ned en fil och överföra den till enheten. Följ anvisningarna i hjälpcentret om du vill överföra filerna till en kompatibel läsplatta.

Mer av Alexandra Silva

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I
Alexandra Silva
Datorer och teknik
5,0
Gratis
Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
Ahmed Bouajjani
Datorer och teknik
19,25 US$16,75 US$
Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
Robert L. Constable
Datorer och teknik
19,25 US$16,75 US$
Language, Logic, and Computation: 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers
Alexandra Silva
Datorer och teknik
54,99 US$43,44 US$

Liknande e-böcker

Program Proofs
K. Rustan M. Leino
Datorer och teknik
48,99 US$
COMPUTER ORIENTED NUMERICAL METHODS
RAJARAMAN, V.
Datorer och teknik
4,9
6,00 US$
Gravity Advanced Level Physics GCE (Easy JavaScript Simulation) 1/2: 20170802 version
Lawrence
Datorer och teknik
4,3
3,75 US$
Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings
Parosh Aziz Abdulla
Datorer och teknik
19,25 US$16,75 US$