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

Publication Info.

Cham, Switzerland : Springer, [2020]

Copies

Location	Call No.	Status
University of Saint Joseph: Pope Pius XII Library - Internet	WORLD WIDE WEB E-BOOK SPRINGER	Downloadable
University of Saint Joseph patrons, please click here to access this SpringerLink resource

Description	1 online resource.
Series	Lecture notes in computer science ; 12225
	LNCS sublibrary. SL 1, Theoretical computer science and general issues
	Lecture notes in computer science ; 12225.
	LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Note	Includes author index.
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	Online resource; title from digital title page (viewed on August 13, 2020).
Contents	Model Checking -- Software Verification -- Stochastic Systems -- Synthesis.
Subject	Computer software -- Verification -- Congresses.
	Computer software -- Verification. (OCoLC)fst00872604
Genre/Form	Congress. (DNLM)D016423
	Conference papers and proceedings. (OCoLC)fst01423772
	Conference papers and proceedings.
Added Author	Lahiri, Shuvendu, editor.
	Wang, Chao, 1985- editor.
Added Title	CAV 2020
Other Form:	Print version: CAV (Conference) (32nd : 2020 : Los Angeles, Calif.). Computer aided verification. Cham, Switzerland : Springer, [2020] 3030532909 9783030532901 (OCoLC)1158477263
ISBN	9783030532918 (electronic book)
	3030532917 (electronic book)
	3030532909
	9783030532901
Standard No.	10.1007/978-3-030-53291-8 doi
	10.1007/978-3-030-53

-->

Permanent Link

Add a Review

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

Copies

Library Links

Search Tools

Language Settings