research
∙
09/07/2023
NeuroCodeBench: a plain C neural network benchmark for software verification
Safety-critical systems with neural network components require strong gu...
share
research
∙
01/22/2023
LF-checker: Machine Learning Acceleration of Bounded Model Checking for Concurrency Verification (Competition Contribution)
We describe and evaluate LF-checker, a metaverifier tool based on machin...
research
∙
10/21/2022
Towards Global Neural Network Abstractions with Locally-Exact Reconstruction
Neural networks are a powerful class of non-linear functions. However, t...
research
∙
07/09/2022
CEG4N: Counter-Example Guided Neural Network Quantization Refinement
Neural networks are essential components of learning-based software syst...
research
∙
06/13/2022
Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs
Finding software vulnerabilities in concurrent programs is a challenging...
research
∙
04/26/2022
Systematicity, Compositionality and Transitivity of Deep NLP Models: a Metamorphic Testing Perspective
Metamorphic testing has recently been used to check the safety of neural...
research
∙
11/25/2021
QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking
QNNVerifier is the first open-source tool for verifying implementations ...
research
∙
06/10/2021
Verifying Quantized Neural Networks using SMT-Based Model Checking
Artificial Neural Networks (ANNs) are being deployed for an increasing n...
research
∙
11/13/2019