Computer Aided Verification
Shuvendu K. Lahiri, Chao Wang
Abstract
The CAV 2020 open access proceedings focus on topics such as AI verification; blockchain and Security; hardware verification and decision procedures; hybrid and dynamic systems; model checking; software verification; stochastic systems; and synthesis.
Topics & Concepts
Computer scienceProgramming languageSoftware engineeringReal-time simulation and control systemsSoftware Testing and Debugging TechniquesEmbedded Systems Design Techniques