PhD in formal methods for program verification from Åbo Akademi University.
-
22:13
(UTC +02:00)
Popular repositories Loading
-
actris-verifier
actris-verifier PublicA contract-based verifier for dynamic dataflow programs
Scala
-
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.