Login
- Title:
Specification-Driven Neural Network Reduction for Scalable Formal Verification
- Document type:
- Zeitschriftenaufsatz
- Author(s):
- Ladner, Tobias; Althoff, Matthias
- Dewey Decimal Classification:
- 000 Informatik, Wissen, Systeme
- Journal title:
- arxiv
- Year:
- 2023
- Month:
- May
- Language:
- en
- Fulltext / DOI:
- doi:10.48550/ARXIV.2305.01932
- Publisher:
- arxiv
- Date of publication:
- 03.05.2023
BibTeX