Skip to content
@rse-verification

rse-verification

Popular repositories Loading

  1. saida saida Public

    ACSL contract verification

    OCaml 4 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 9 of 9 repositories
  • SpACeCraft Public Forked from ASSERT-KTH/Vecogen

    generating formally verified C code with LLMs (thesis Merlijn Sevenhuijsen) http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-356745

    rse-verification/SpACeCraft’s past year of commit activity
    Python 0 2 0 0 Updated Apr 17, 2025
  • 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 Apr 16, 2025
  • 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 4 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

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…