Skip to content
@uclid-org

UCLID5

Pinned Loading

  1. uclid uclid Public

    UCLID5: formal modeling, verification, and synthesis of computational systems

    Scala 136 32

Repositories

Showing 10 of 13 repositories
  • uclid Public

    UCLID5: formal modeling, verification, and synthesis of computational systems

    uclid-org/uclid’s past year of commit activity
    Scala 136 32 21 4 Updated Nov 14, 2024
  • uclid5-language-vscode Public

    uclid5 language support for vscode

    uclid-org/uclid5-language-vscode’s past year of commit activity
    Shell 3 0 0 0 Updated May 9, 2024
  • algaroba Public Forked from amarshah1/algarobatool

    An eager SMT solver for Algebraic Data Types (ADTs)

    uclid-org/algaroba’s past year of commit activity
    SMT 2 1 0 0 Updated May 8, 2024
  • uclid-api Public

    Python API for UCLID5

    uclid-org/uclid-api’s past year of commit activity
    Python 4 MIT 0 0 0 Updated Mar 21, 2024
  • upverifier Public

    Unbounded Verification of P(-like) Programs

    uclid-org/upverifier’s past year of commit activity
    OCaml 1 MIT 2 0 1 Updated Jan 7, 2024
  • riscverifier Public
    uclid-org/riscverifier’s past year of commit activity
    Rust 3 BSD-3-Clause 0 0 1 Updated Sep 15, 2023
  • uclid5-ssft22 Public
    uclid-org/uclid5-ssft22’s past year of commit activity
    Python 2 1 0 0 Updated Mar 17, 2023
  • rtl2model Public

    a compositional framework for hardware lifting

    uclid-org/rtl2model’s past year of commit activity
    Python 3 1 0 0 Updated May 25, 2022
  • tool_paper_artifact Public
    uclid-org/tool_paper_artifact’s past year of commit activity
    Scala 0 0 0 0 Updated May 24, 2022
  • uclid-riscv Public

    Architectural models for RISC-V assembly

    uclid-org/uclid-riscv’s past year of commit activity
    C 4 0 0 0 Updated Mar 10, 2022
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…