Popular repositories Loading

1. saida saida Public

   ACSL contract verification

   C 5 1

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-toolchain auto-deduct-toolchain Public

   Project for composing a formal verification toolchain

   Python 2

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

   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