Computer Aided Verification
Download or Read eBook Computer Aided Verification PDF written by Shuvendu K. Lahiri and published by Springer Nature. This book was released on 2020-07-15 with total page 682 pages. Available in PDF, EPUB and Kindle.
| Author | : Shuvendu K. Lahiri |
| Publisher | : Springer Nature |
| Total Pages | : 682 |
| Release | : 2020-07-15 |
| ISBN-10 | : 9783030532888 |
| ISBN-13 | : 3030532887 |
| Rating | : 4/5 (88 Downloads) |
Book Synopsis Computer Aided Verification by : Shuvendu K. Lahiri
Book excerpt: 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.
