Skip to content

@rse-verification rse-verification

Change the repository type filter

All

    Repositories list

    8 repositories

    • auto-deduct-toolchain

      Public
      Project for composing a formal verification toolchain
      GNU General Public License v2.0
      •0•0•0•0•Updated Jan 14, 2025Jan 14, 2025

    • rse-verification.github.io

      Public
      Open workshop in formal methods and generative AI for embedded software webpage
      HTML
      •0•0•0•0•Updated Oct 25, 2024Oct 25, 2024

    • auto-deduct-examples

      Public
      A repository containing a set of examples for the AutoDeduct toolchain
      C
      •
      GNU General Public License v2.0
      •0•0•0•0•Updated Oct 23, 2024Oct 23, 2024

    • saida

      Public
      ACSL contract verification
      OCaml
      •
      GNU General Public License v2.0
      •1•3•1•0•Updated Oct 18, 2024Oct 18, 2024

    • tricera

      Public
      TriCera: a model checker for C programs
      Scala
      •
      BSD 3-Clause "New" or "Revised" License
      •13•0•0•0•Updated Sep 16, 2024Sep 16, 2024

    • interface-specification-propagator

      Public
      OCaml
      •
      GNU General Public License v2.0
      •0•0•2•0•Updated Sep 10, 2024Sep 10, 2024

    • opam

      Public
      Creative Commons Zero v1.0 Universal
      •0•0•0•0•Updated Sep 10, 2024Sep 10, 2024

    • contract-compositionality

      Public
      HOL4 formalization of a theory of specifications, components, contracts, and compositionality
      contractshol4
      Standard ML
      •
      MIT License
      •0•0•0•0•Updated Aug 27, 2022Aug 27, 2022