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 61b389929a Updating information about authors! 5 hours ago
Archive/Programming-Languages-Semantics/WP11-C-semantics simplify newlines 11 months ago
C-verifier Adding messages for the VCG debugger + regression tests on the examples + modifying the way of dealing with variables when modularity is used in the reasonning 1 week ago
Posters adding the posters 9 months ago
.gitignore ignored files! 9 months ago
CITATION Updating information about authors! 5 hours ago
CONTRIBUTORS Updating information about authors! 5 hours ago
LICENSE simplify newlines 11 months ago