Orca: A Functional Correctness Verifier for Imperative Programs Based on Isabelle/UTP.
nemouchi ab4cc6a38c Integrating scoping to the VCG!! 2 months ago
Archive/Programming-Languages-Semantics/WP11-C-semantics simplify newlines 9 months ago
C-verifier Integrating scoping to the VCG!! 2 months ago
Posters adding the posters 7 months ago
.gitignore ignored files! 7 months ago
CITATION minor changes 9 months ago
CONTRIBUTORS simplify newlines 9 months ago
LICENSE simplify newlines 9 months ago