Systematic Generation of Diverse Benchmarks for DNN Verification

Dong Xu
Dong Xu
David Shriver
David Shriver
Matthew B Dwyer
Matthew B Dwyer

computer aided verification, pp. 97-121, 2020.

Cited by: 0|Bibtex|Views8|DOI:https://doi.org/10.1007/978-3-030-53288-8_5
Other Links: academic.microsoft.com

Abstract:

The field of verification has advanced due to the interplay of theoretical development and empirical evaluation. Benchmarks play an important role in this by supporting the assessment of the state-of-the-art and comparison of alternative verification approaches. Recent years have witnessed significant developments in the verification of d...More

Code:

Data:

Your rating :
0

 

Tags
Comments