Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were care...
Zapisane w:
| Kolejni autorzy: | , |
|---|---|
| Format: | Elektroniczne Rozdział |
| Język: | angielski |
| Wydane: |
Springer Nature
2020
|
| Seria: | Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
12225 |
| Hasła przedmiotowe: | |
| Dostęp online: | OAPEN Library: download the publication OAPEN Library: description of the publication |
| Etykiety: |
Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!
|
MARC
| LEADER | 00000naaaa2200000uu 4500 | ||
|---|---|---|---|
| 001 | oapen_2024_20_500_12657_41296 | ||
| 005 | 20200813 | ||
| 003 | oapen | ||
| 006 | m o d | ||
| 007 | cr|mn|---annan | ||
| 008 | 20200813s2020 xx |||||o ||| 0|eng d | ||
| 020 | |a 978-3-030-53291-8 | ||
| 040 | |a oapen |c oapen | ||
| 024 | 7 | |a 10.1007/978-3-030-53291-8 |c doi | |
| 041 | 0 | |a eng | |
| 042 | |a dc | ||
| 072 | 7 | |a UMZ |2 bicssc | |
| 072 | 7 | |a UY |2 bicssc | |
| 072 | 7 | |a UYQ |2 bicssc | |
| 072 | 7 | |a UT |2 bicssc | |
| 072 | 7 | |a UK |2 bicssc | |
| 072 | 7 | |a UYM |2 bicssc | |
| 100 | 1 | |a Lahiri, Shuvendu K. |4 edt | |
| 700 | 1 | |a Wang, Chao |4 edt | |
| 700 | 1 | |a Lahiri, Shuvendu K. |4 oth | |
| 700 | 1 | |a Wang, Chao |4 oth | |
| 245 | 1 | 0 | |a Computer Aided Verification |b 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II |
| 260 | |b Springer Nature |c 2020 | ||
| 300 | |a 1 electronic resource (683 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; Theoretical Computer Science and General Issues |v 12225 | |
| 506 | 0 | |a Open Access |2 star |f Unrestricted online access | |
| 520 | |a The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic. | ||
| 540 | |a Creative Commons |f by/4.0/ |2 cc |4 http://creativecommons.org/licenses/by/4.0/ | ||
| 546 | |a English | ||
| 650 | 7 | |a Software Engineering |2 bicssc | |
| 650 | 7 | |a Computer science |2 bicssc | |
| 650 | 7 | |a Artificial intelligence |2 bicssc | |
| 650 | 7 | |a Computer networking & communications |2 bicssc | |
| 650 | 7 | |a Computer hardware |2 bicssc | |
| 650 | 7 | |a Computer modelling & simulation |2 bicssc | |
| 653 | |a Software Engineering | ||
| 653 | |a Theory of Computation | ||
| 653 | |a Artificial Intelligence | ||
| 653 | |a Computer Systems Organization and Communication Networks | ||
| 653 | |a Computer Hardware | ||
| 653 | |a Simulation and Modeling | ||
| 653 | |a Computer Engineering and Networks | ||
| 653 | |a Computer Science | ||
| 653 | |a architecture verification and validation | ||
| 653 | |a artificial intelligence | ||
| 653 | |a automata theory | ||
| 653 | |a computer systems | ||
| 653 | |a correlation analysis | ||
| 653 | |a distributed computer systems | ||
| 653 | |a embedded systems | ||
| 653 | |a formal languages | ||
| 653 | |a formal logic | ||
| 653 | |a linguistics | ||
| 653 | |a model checking | ||
| 653 | |a programming languages | ||
| 653 | |a semantics | ||
| 653 | |a software architecture | ||
| 653 | |a software design | ||
| 653 | |a software quality | ||
| 653 | |a verification and validation | ||
| 653 | |a Open Access | ||
| 653 | |a Computer science | ||
| 653 | |a Mathematical theory of computation | ||
| 653 | |a Artificial intelligence | ||
| 653 | |a Computer networking & communications | ||
| 653 | |a Computer hardware | ||
| 653 | |a Computer modelling & simulation | ||
| 856 | 4 | 0 | |a www.oapen.org |u https://library.oapen.org/bitstream/id/17b23dce-eeea-417b-a9bf-a42907be118e/2020_Book_ComputerAidedVerification.pdf |7 0 |z OAPEN Library: download the publication |
| 856 | 4 | 0 | |a www.oapen.org |u https://library.oapen.org/handle/20.500.12657/41296 |7 0 |z OAPEN Library: description of the publication |