Popular repositories Loading

1. narv narv Public

   A Network Abstraction-Refinement tool for Verification.

   Python 6

2. MpBP MpBP Public

   [FSE 22 Demonstration] MpBP: Verifying Robustness of Neural Networks with Multi-path Bound Propagation

   Python 3

3. llvm2cryptoline llvm2cryptoline Public

   Forked from fmlab-iis/llvm2cryptoline

   A tool translating LLVM IR to CryptoLine

   C++ 2

4. FaGMR FaGMR Public

   JetBrains MPS 1 1

5. AbstraCMP AbstraCMP Public

   [JOS 22] & [IJSI] Multi-path Back-Propagation for Neural Network Verification

   Python

6. coq-qffp coq-qffp Public

   OCaml