UCLID5 (@uclid-org)
Guthub

uclid-org

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    139
  • Global Org. Rank 49,055 (Top 16 %)
  • Registered almost 7 years ago
  • Most used languages
    Python
         40.0 %
    Scala
         20.0 %
    OCaml
         10.0 %
    Rust
         10.0 %
    Shell
         10.0 %
    C
         10.0 %

Top repositories

1

uclid

UCLID5: formal modeling, verification, and synthesis of computational systems
Scala
121
star
2

chiselucl

ChiselUCL: Utilities for generating UCLID5 models from Chisel and FIRRTL descriptions
Scala
6
star
3

medley-solver

Python
6
star
4

uclid-api

Python API for UCLID5
Python
4
star
5

uclid5-language-vscode

uclid5 language support for vscode
Shell
3
star
6

uclid-riscv

Architectural models for RISC-V assembly
C
3
star
7

riscverifier

Rust
2
star
8

uclid5-ssft22

Python
2
star
9

rtl2model

a compositional framework for hardware lifting
Python
2
star
10

upverifier

Unbounded Verification of P(-like) Programs
OCaml
1
star