rse-verification
Popular repositories Loading
-
auto-deduct-toolchain
auto-deduct-toolchain PublicProject for composing a formal verification toolchain
Python 2
-
-
SpecSmith
SpecSmith PublicForked 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
-
contract-compositionality
contract-compositionality PublicHOL4 formalization of a theory of specifications, components, contracts, and compositionality
Standard ML
Repositories
- 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 - 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 - contract-compositionality Public
HOL4 formalization of a theory of specifications, components, contracts, and compositionality
rse-verification/contract-compositionality’s past year of commit activity - 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
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…