Skip to content
@usi-verification-and-security

usi-verification-and-security

Pinned Loading

  1. opensmt opensmt Public

    The opensmt solver

    C++ 79 19

  2. golem golem Public

    Solver for Constrained Horn Clauses

    C++ 35 8

Repositories

Showing 10 of 15 repositories
  • opensmt Public

    The opensmt solver

    usi-verification-and-security/opensmt’s past year of commit activity
    C++ 79 19 66 (1 issue needs help) 17 Updated Feb 21, 2025
  • SolTG Public

    Automated CHC-based test generator for Solidity

    usi-verification-and-security/SolTG’s past year of commit activity
    C++ 0 0 0 0 Updated Feb 20, 2025
  • golem Public

    Solver for Constrained Horn Clauses

    usi-verification-and-security/golem’s past year of commit activity
    C++ 35 MIT 8 8 2 Updated Feb 18, 2025
  • xspace Public
    usi-verification-and-security/xspace’s past year of commit activity
    C++ 0 0 0 1 Updated Feb 17, 2025
  • 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 Feb 14, 2025
  • 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
  • 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
View all repositories

Top languages

Loading…

Most used topics

Loading…