Home » Authors » Elboher, Yizhak, Peleg, Reuven, Shi, Zhouxing, Guy, Katz, Jan, Křetínský

Elboher, Yizhak, Peleg, Reuven, Shi, Zhouxing, Guy, Katz, Jan, Křetínský

Public reference bibliography and cataloged PDF materials authored or published by Elboher, Yizhak, Peleg, Reuven, Shi, Zhouxing, Guy, Katz, Jan, Křetínský.

Found 1 document(s) Page 1 of 1

Chapter Talking with Verifiers: Automatic Specification Generation for Neural Network Verification

Year: 2026 • Source: www.oapen.org • External Catalog

The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researcher...