Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II (Record no. 50724)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 03543naaaa2200793uu 4500 |
| 001 - CONTROL NUMBER | |
| control field | https://directory.doabooks.org/handle/20.500.12854/35502 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20220219232409.0 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 978-3-030-53291-8 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1007/978-3-030-53291-8 |
| Terms of availability | doi |
| 041 0# - LANGUAGE CODE | |
| Language code of text/sound track or separate title | English |
| 042 ## - AUTHENTICATION CODE | |
| Authentication code | dc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UMZ |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UY |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UYQ |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UT |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UK |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UYM |
| Source | bicssc |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Lahiri, Shuvendu K. |
| Relationship | edt |
| 245 10 - TITLE STATEMENT | |
| Title | Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Name of publisher, distributor, etc. | Springer Nature |
| Date of publication, distribution, etc. | 2020 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 1 electronic resource (683 p.) |
| 506 0# - RESTRICTIONS ON ACCESS NOTE | |
| Terms governing access | Open Access |
| Source of term | star |
| Standardized terminology for access restriction | Unrestricted online access |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | 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 ## - TERMS GOVERNING USE AND REPRODUCTION NOTE | |
| Terms governing use and reproduction | Creative Commons |
| Use and reproduction rights | by/4.0/ |
| Source of term | cc |
| -- | http://creativecommons.org/licenses/by/4.0/ |
| 546 ## - LANGUAGE NOTE | |
| Language note | English |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Software Engineering |
| Source of heading or term | bicssc |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer science |
| Source of heading or term | bicssc |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Artificial intelligence |
| Source of heading or term | bicssc |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer networking & communications |
| Source of heading or term | bicssc |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer hardware |
| Source of heading or term | bicssc |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer modelling & simulation |
| Source of heading or term | bicssc |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Software Engineering |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Theory of Computation |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Artificial Intelligence |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Computer Systems Organization and Communication Networks |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Computer Hardware |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Simulation and Modeling |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Computer Engineering and Networks |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Computer Science |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | architecture verification and validation |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | artificial intelligence |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | automata theory |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | computer systems |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | correlation analysis |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | distributed computer systems |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | embedded systems |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | formal languages |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | formal logic |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | linguistics |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | model checking |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | programming languages |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | semantics |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | software architecture |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | software design |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | software quality |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | verification and validation |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Open Access |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Computer science |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Mathematical theory of computation |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Artificial intelligence |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Computer networking & communications |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Computer hardware |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Computer modelling & simulation |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Wang, Chao |
| Relationship | edt |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Lahiri, Shuvendu K. |
| Relationship | oth |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Wang, Chao |
| Relationship | oth |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Host name | www.oapen.org |
| Uniform Resource Identifier | <a href="https://library.oapen.org/bitstream/20.500.12657/41296/1/2020_Book_ComputerAidedVerification.pdf">https://library.oapen.org/bitstream/20.500.12657/41296/1/2020_Book_ComputerAidedVerification.pdf</a> |
| Access status | 0 |
| Public note | DOAB: download the publication |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Host name | www.oapen.org |
| Uniform Resource Identifier | <a href="https://directory.doabooks.org/handle/20.500.12854/35502">https://directory.doabooks.org/handle/20.500.12854/35502</a> |
| Access status | 0 |
| Public note | DOAB: description of the publication |
No items available.