Skip to content
@rse-verification

rse-verification

Popular repositories Loading

  1. saida saida Public

    Frama-C plugin for inference of ACSL contracts for C helper functions

    OCaml 5 2

  2. Spec2Code Spec2Code Public

    Spec2code is a framework for generating safety-critical C code from structured requirements, centered on an adaptable critic pipeline that composes compilation, static-analysis, and formal-verifica…

    Python 3

  3. auto-deduct auto-deduct Public

    Project for composing a formal verification toolchain

    Python 2

  4. interface-specification-propagator interface-specification-propagator Public

    Frama-C plugin for semantic inference of auxiliary ACSL annotations

    OCaml 1

  5. SpecSmith SpecSmith 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

    Python 1

  6. contract-compositionality contract-compositionality Public

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

    Standard ML

Repositories

Showing 10 of 13 repositories
  • auto-deduct Public

    Project for composing a formal verification toolchain

    rse-verification/auto-deduct's past year of commit activity
    Python 2 GPL-2.0 0 5 1 Updated Sep 23, 2026
  • saida Public

    Frama-C plugin for inference of ACSL contracts for C helper functions

    rse-verification/saida's past year of commit activity
    OCaml 5 GPL-2.0 2 7 4 Updated Sep 18, 2026
  • Spec2Code Public

    Spec2code is a framework for generating safety-critical C code from structured requirements, centered on an adaptable critic pipeline that composes compilation, static-analysis, and formal-verification checks across CLI and web workflows.

    rse-verification/Spec2Code's past year of commit activity
    Python 3 0 0 0 Updated Sep 16, 2026
  • opam Public
    rse-verification/opam's past year of commit activity
    0 CC0-1.0 0 0 0 Updated Sep 15, 2026
  • interface-specification-propagator Public

    Frama-C plugin for semantic inference of auxiliary ACSL annotations

    rse-verification/interface-specification-propagator's past year of commit activity
    OCaml 1 GPL-2.0 0 2 0 Updated Sep 14, 2026
  • VerNFR Public

    Frama-C plugin for verification of Non-Functional Requirements

    rse-verification/VerNFR's past year of commit activity
    OCaml 0 GPL-2.0 0 1 0 Updated Sep 10, 2026
  • BayesianBreakfast Public
    rse-verification/BayesianBreakfast's past year of commit activity
    Python 0 0 0 0 Updated Jul 2, 2026
  • SpecSmith 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/SpecSmith's past year of commit activity
    Python 1 2 0 0 Updated Sep 24, 2025
  • acsldiff Public

    Command line program for testing the "refines" relation between two ACSL contracts.

    rse-verification/acsldiff's past year of commit activity
    Scala 0 BSD-3-Clause 0 0 0 Updated Aug 15, 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 May 2, 2025
View all repositories

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…