Skip to content
@rse-verification

rse-verification

Popular repositories Loading

  1. saida saida Public

    ACSL contract verification

    OCaml 1 1

  2. contract-compositionality contract-compositionality Public

    HOL4 formalization of a theory of specifications, components, contracts, and compositionality

    Standard ML

  3. interface-specification-propagator interface-specification-propagator Public

    OCaml

  4. auto-deduct-toolchain auto-deduct-toolchain Public

    Project for composing a formal verification toolchain

  5. tricera tricera Public

    Forked from dannem1337/tricera

    TriCera: a model checker for C programs

    Scala

  6. auto-deduct-examples auto-deduct-examples Public

    A repository containing a set of examples for the AutoDeduct toolchain

    C

Repositories

Showing 6 of 6 repositories
  • interface-specification-propagator Public
    rse-verification/interface-specification-propagator’s past year of commit activity
    OCaml 0 GPL-2.0 0 3 2 Updated Jul 1, 2024
  • auto-deduct-toolchain Public

    Project for composing a formal verification toolchain

    rse-verification/auto-deduct-toolchain’s past year of commit activity
    0 GPL-2.0 0 0 0 Updated Jun 27, 2024
  • auto-deduct-examples Public

    A repository containing a set of examples for the AutoDeduct toolchain

    rse-verification/auto-deduct-examples’s past year of commit activity
    C 0 GPL-2.0 0 0 0 Updated Jun 27, 2024
  • saida Public

    ACSL contract verification

    rse-verification/saida’s past year of commit activity
    OCaml 1 GPL-2.0 1 1 0 Updated Jun 26, 2024
  • tricera Public Forked from dannem1337/tricera

    TriCera: a model checker for C programs

    rse-verification/tricera’s past year of commit activity
    Scala 0 BSD-3-Clause 13 0 0 Updated May 16, 2024
  • contract-compositionality Public

    HOL4 formalization of a theory of specifications, components, contracts, and compositionality

    rse-verification/contract-compositionality’s past year of commit activity
    Standard ML 0 MIT 0 0 0 Updated Aug 27, 2022

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…