Orca: A Functional Correctness Verifier for Imperative Programs Based on Isabelle/UTP.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
y.nemouchi a6e62b30a9 !! 1 month ago
Archive/Programming-Languages-Semantics/WP11-C-semantics simplify newlines 1 year ago
C-verifier !! 1 month ago
Posters adding the posters 1 year ago
.gitignore ignored files! 1 year ago
CITATION Updating information about authors! 10 months ago
CONTRIBUTORS Updating information about authors! 10 months ago
LICENSE simplify newlines 1 year ago