Title: Parallelization Techniques for Verifying Neural Networks
Authors: Wu, Haoze 
Ozdemir, Alex 
Zeljic, Aleksandar 
Julian, Kyle 
Irfan, Ahmed 
Gopinath, Divya 
Fouladi, Sadjad 
Katz, Guy 
Pasareanu, Corina 
Barrett, Clark 
Editors: Ivrii, Alexander 
Strichman, Ofer 
Issue Date: 2020
Book Title: Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020 
Series: Conference Series: Formal Methods in Computer-Aided Design 
Keywords: computer-aided system design
URI: http://hdl.handle.net/20.500.12708/15516
DOI: 10.34727/2020/isbn.978-3-85448-042-6_20
License: CC BY 4.0 CC BY 4.0
Publication Type: Inproceedings
Appears in Collections:Open Access Series
Conference Paper

Files in this item:

File Description SizeFormat
20_Parallelization Techniques for Verifying Neural Networks.pdfPublished version1.09 MBAdobe PDFThumbnail
Show full item record

Page view(s)

checked on May 15, 2021


checked on May 15, 2021

Google ScholarTM


This item is licensed under a Creative Commons License Creative Commons