Computer aided verification : 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings. Part I / Shuvendu K. Lahiri, Chao Wang (eds.).
CAV (Conference) (32nd : 2020 : Los Angeles, Calif.); Lahiri, Shuvendu, editor.; Wang, Chao, 1985- editor.
2020
QA76.76.V47 C38 2020
Available Online

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 I / Shuvendu K. Lahiri, Chao Wang (eds.).
Meeting Name CAV (Conference) (32nd : 2020 : Los Angeles, Calif.)
ISBN 9783030532888 (electronic book)
3030532887 (electronic book)
9783030532871
DOI https://doi.org/10.1007/978-3-030-53288-8
Published Cham, Switzerland : Springer, [2020]
Language English
Description 1 online resource.
Other Standard Identifiers 10.1007/978-3-030-53288-8 doi
10.1007/978-3-030-53
Call Number QA76.76.V47 C38 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.
Series Lecture notes in computer science ; 12224.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
AI Verification
Blockchain and Security
Hardware Veri cation and Decision Procedures
Hybrid and Dynamic Systems.

Browse Subjects

Show more subjects...

Statistics

from
to
Export