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 !! 5 months ago
Archive/Programming-Languages-Semantics/WP11-C-semantics simplify newlines 2 years ago
C-verifier !! 5 months ago
Posters adding the posters 2 years ago
.gitignore ignored files! 1 year ago
CITATION Updating information about authors! 1 year ago
CONTRIBUTORS Updating information about authors! 1 year ago
LICENSE simplify newlines 2 years ago