Skip to content
@rse-verification

rse-verification

Popular repositories Loading

  1. saida saida Public

    ACSL contract verification

    OCaml 3 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 8 of 8 repositories
  • 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 Jan 14, 2025
  • rse-verification.github.io Public

    Open workshop in formal methods and generative AI for embedded software webpage

    rse-verification/rse-verification.github.io’s past year of commit activity
    HTML 0 0 0 0 Updated Oct 25, 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 Oct 23, 2024
  • saida Public

    ACSL contract verification

    rse-verification/saida’s past year of commit activity
    OCaml 3 GPL-2.0 1 1 0 Updated Oct 18, 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 Sep 16, 2024
  • interface-specification-propagator Public
    rse-verification/interface-specification-propagator’s past year of commit activity
    OCaml 0 GPL-2.0 0 2 0 Updated Sep 10, 2024
  • opam Public
    rse-verification/opam’s past year of commit activity
    0 CC0-1.0 0 0 0 Updated Sep 10, 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…