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