Homepage
Open in app
Sign in
Get started
SW Verification & Testing
Sharing Knowledge on SW Verification & Testing
Follow
What is Deep Neural Network Verification and Why is it Important?
What is Deep Neural Network Verification and Why is it Important?
What is Deep Neural Network(DNN) verification? DNN verification is a process of verifying whether, for every possible input, the neural…
Seunghyun Chae
Feb 9, 2021
How to install ERAN on Linux without sudo
How to install ERAN on Linux without sudo
ERAN (ETH Robustness Analyzer for Neural Networks) is a neural network analyzer based on abstract interpretation, that currently supports…
Seunghyun Chae
Jan 27, 2021
Installing Z3 Theorem Prover on MacOS
Z3 Theorem Prover is one of the most-used satisfiability modulo theories (SMT) solver. Provided by Microsoft…
Seunghyun Chae
Jul 30, 2020
About SW Verification & Testing
Latest Stories
Archive
About Medium
Terms
Privacy
Teams