rse-verification
Popular repositories Loading
-
auto-deduct-toolchain auto-deduct-toolchain Public
Project for composing a formal verification toolchain
Python 2
-
-
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
-
contract-compositionality contract-compositionality Public
HOL4 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.
- BayesianBreakfast Public
- 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
- contract-compositionality Public
HOL4 formalization of a theory of specifications, components, contracts, and compositionality
- rse-verification.github.io Public
Open workshop in formal methods and generative AI for embedded software webpage
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…