-
ENS Rennes
- Rennes
Highlights
- Pro
Pinned Loading
-
-
-
-
automata-string-domain
automata-string-domain PublicString abstract domain for abstract interpretation program verification purposes. Includes a dummy language for which the domain is implemented. Created for a TIPE presentation in CPGE formation.
OCaml
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.