Computer aided verification : 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings. Part II / Shuvendu K. Lahiri, Chao Wang (eds.).
2020
QA76.76.V47 C382 2020
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Computer aided verification : 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings. Part II / Shuvendu K. Lahiri, Chao Wang (eds.).
Meeting Name
CAV (Conference) (32nd : 2020 : Los Angeles, Calif.)
ISBN
9783030532918 (electronic book)
3030532917 (electronic book)
3030532909
9783030532901
3030532917 (electronic book)
3030532909
9783030532901
Published
Cham, Switzerland : Springer, [2020]
Language
English
Description
1 online resource.
Item Number
10.1007/978-3-030-53291-8 doi
Call Number
QA76.76.V47 C382 2020
Dewey Decimal Classification
004.24
Summary
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.
Note
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Description based on online resource; title from digital title page (viewed on August 13, 2020).
Added Author
Lahiri, Shuvendu, editor.
Wang, Chao, 1985- editor.
Wang, Chao, 1985- editor.
Series
Lecture notes in computer science ; 12225.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Available in Other Form
Print version: 9783030532901
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources