Skip to content
@usi-verification-and-security

usi-verification-and-security

Pinned Loading

  1. opensmt opensmt Public

    The opensmt solver

    C++ 78 19

  2. golem golem Public

    Solver for Constrained Horn Clauses

    C++ 34 8

Repositories

Showing 10 of 13 repositories
  • golem Public

    Solver for Constrained Horn Clauses

    usi-verification-and-security/golem’s past year of commit activity
    C++ 34 MIT 8 6 1 Updated Dec 11, 2024
  • opensmt Public

    The opensmt solver

    usi-verification-and-security/opensmt’s past year of commit activity
    C++ 78 19 66 (1 issue needs help) 16 Updated Dec 2, 2024
  • SMTS Public

    SMTS: a framework for distributed SMT and PDR, supporting lemma sharing and partitioning

    usi-verification-and-security/SMTS’s past year of commit activity
    JavaScript 8 4 0 0 Updated Oct 29, 2024
  • opensmt-doc Public

    OpenSMT documentation

    usi-verification-and-security/opensmt-doc’s past year of commit activity
    TeX 0 0 0 0 Updated Sep 13, 2024
  • smts-smtcomp-aws Public

    This repository contains Dockerfiles and Scripts that build and run the SMTS on aws infrastructure.

    usi-verification-and-security/smts-smtcomp-aws’s past year of commit activity
    Shell 0 0 0 0 Updated Aug 29, 2024
  • verify-env Public

    Repository for verification group's docker images

    usi-verification-and-security/verify-env’s past year of commit activity
    Shell 0 0 0 0 Updated Aug 18, 2024
  • athena Public

    Validation framework for CHC models

    usi-verification-and-security/athena’s past year of commit activity
    Shell 3 MIT 0 0 0 Updated Aug 16, 2024
  • ptplib Public

    Partition Tree Protocol Library

    usi-verification-and-security/ptplib’s past year of commit activity
    C++ 1 0 0 1 Updated Apr 2, 2024
  • opensmt-debugging Public

    Miscellaneous shared tools for debugging/profiling opensmt

    usi-verification-and-security/opensmt-debugging’s past year of commit activity
    Shell 1 MIT 2 1 0 Updated Feb 23, 2023
  • upprover Public

    An SMT-based bounded model checker for C

    usi-verification-and-security/upprover’s past year of commit activity
    C 8 1 0 0 Updated Nov 29, 2022
View all repositories

Top languages

Loading…

Most used topics

Loading…