Repositories list

• coq-firrtl

  Public
  Formalizing Firrtl language in Coq

  Rocq Prover

  •0•0•0•0•Updated Apr 3, 2026Apr 3, 2026

• chisel-formal-verification

  Public
  Formal verification tools for Chisel and RISC-V

  1•13•0•0•Updated Mar 29, 2026Mar 29, 2026

• ChiRVFormal

  Public
  Minimal RISC-V Chisel design strictly reflecting the ISA document for verification.

  Scala

  •9•19•0•1•Updated Mar 4, 2026Mar 4, 2026

• PacPMA

  Public
  The PAC-based Parametric Model Analyzer

  Java

  •

  GNU General Public License v3.0

  •0•1•0•0•Updated Nov 12, 2025Nov 12, 2025

• chicala

  Public
  Translate Chisel hardware design code to Scala simulation code.

  Scala

  •

  Apache License 2.0

  •2•14•0•0•Updated May 15, 2025May 15, 2025

• nutshell-fv

  Public
  Formal verification on NutShell using riscv-spec-core

  Scala

  •

  Other

  •256•7•0•0•Updated Mar 1, 2025Mar 1, 2025

• roll-library

  Public
  Regular Omega Language Learning Library

  learningautomataomega-regular+ 2

  learningautomataomega-regularinclusion-checkingcomplementation

  Java

  •

  GNU General Public License v3.0

  •7•12•0•0•Updated Jan 17, 2025Jan 17, 2025

• ePMC

  Public
  EPMC: An Extendible Probabilistic Model Checker

  JavaScript

  •

  GNU General Public License v3.0

  •5•19•2•0•Updated Jan 13, 2025Jan 13, 2025

• ISS-PA

  Public
  C++

  •

  MIT License

  •2•2•0•2•Updated Dec 31, 2024Dec 31, 2024

• CHA

  Public
  Scala

  •

  Apache License 2.0

  •1•18•0•0•Updated Jul 12, 2024Jul 12, 2024

• deepg

  Public
  Certifying Geometric Robustness of Neural Networks

  Python

  •

  Apache License 2.0

  •9•0•0•0•Updated Dec 5, 2020Dec 5, 2020

• PRODeep

  Public
  PRODeep: A Platform for Robustness Verification of Deep Neural Networks

  C++

  •

  GNU General Public License v3.0

  •4•12•0•0•Updated Nov 11, 2020Nov 11, 2020

• ReluplexCav2017

  Public
  C

  •

  Other

  •51•0•0•0•Updated Nov 11, 2020Nov 11, 2020

• SVMRanker

  Public
  Python

  •

  GNU Lesser General Public License v3.0

  •0•4•0•0•Updated Sep 4, 2020Sep 4, 2020

• spotj

  Public
  C++

  •0•0•0•0•Updated Jan 11, 2019Jan 11, 2019

• RABIT

  Public
  Buchi Inclusion Testing Tool from http://www.languageinclusion.org/doku.php

  Java

  •

  Other

  •1•2•0•0•Updated Jan 9, 2019Jan 9, 2019

• omega-tests

  Public
  Java

  •0•0•0•0•Updated Dec 18, 2018Dec 18, 2018

• qcomp

  Public
  CSS

  •8•0•0•0•Updated Dec 10, 2018Dec 10, 2018

• roll-library-tests

  Public
  Java

  •0•0•0•0•Updated Nov 9, 2018Nov 9, 2018

• fdfa

  Public
  Java

  •0•0•0•0•Updated Dec 12, 2017Dec 12, 2017