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 ...
share
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
∙
02/04/2021
Verifying Security Vulnerabilities in Large Software Systems using Multi-Core k-Induction
Computer-based systems have been used to solve several domain problems, ...
research
∙
12/21/2020