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