Repositories list

• SZUThesisLatest

  Public
  TeX

  •7•0•0•0•Updated Mar 5, 2024Mar 5, 2024

• narv

  Public
  A Network Abstraction-Refinement tool for Verification.

  Python

  •0•4•1•0•Updated Oct 1, 2023Oct 1, 2023

• coq-qffp

  Public
  OCaml

  •

  GNU General Public License v2.0

  •0•0•0•0•Updated Aug 13, 2023Aug 13, 2023

• llvm2cryptoline

  Public
  A tool translating LLVM IR to CryptoLine

  C++

  •2•1•0•0•Updated Jul 12, 2023Jul 12, 2023

• FaGMR

  Public
  JetBrains MPS

  •1•1•0•0•Updated May 16, 2023May 16, 2023

• MpBP

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

  neural-networksformal-verificationbound-propagation

  Python

  •

  BSD 3-Clause "New" or "Revised" License

  •0•1•0•0•Updated May 9, 2023May 9, 2023

• AbstraCMP

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

  neural-networksformal-verification

  Python

  •0•0•0•0•Updated Apr 14, 2023Apr 14, 2023