rse-verification
Popular repositories Loading
-
contract-compositionality
contract-compositionality PublicHOL4 formalization of a theory of specifications, components, contracts, and compositionality
Standard ML
-
-
auto-deduct-toolchain
auto-deduct-toolchain PublicProject for composing a formal verification toolchain
-
-
auto-deduct-examples
auto-deduct-examples PublicA repository containing a set of examples for the AutoDeduct toolchain
C
Repositories
- 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 - opam Public
rse-verification/opam’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…