Andere Kunden interessierten sich auch für
![Computer Aided Verification]( "Computer Aided Verification")
Computer Aided Verification30,99 €![Computer Aided Verification]( "Computer Aided Verification")
Computer Aided Verification31,99 €![Computer Aided Verification]( "Computer Aided Verification")
Computer Aided Verification30,99 €![Software Engineering and Formal Methods]( "Software Engineering and Formal Methods")
Software Engineering and Formal Methods59,99 €![Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles]( "Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles")
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles63,99 €![Verification, Model Checking, and Abstract Interpretation]( "Verification, Model Checking, and Abstract Interpretation")
Verification, Model Checking, and Abstract Interpretation66,99 €![Principles of Systems Design]( "Principles of Systems Design")
Principles of Systems Design66,99 €
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.
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.