Orca: A Functional Correctness Verifier for Imperative Programs Based on Isabelle/UTP.
Přejít na soubor
y.nemouchi a6e62b30a9 !! 2019-10-21 17:29:14 +01:00
Archive/Programming-Languages-Semantics/WP11-C-semantics simplify newlines 2018-02-08 18:13:11 -05:00
C-verifier !! 2019-10-21 17:29:14 +01:00
Posters adding the posters 2018-04-07 12:54:09 -05:00
.gitignore ignored files! 2018-04-11 17:08:22 -04:00
CITATION Updating information about authors! 2019-01-18 13:32:20 +00:00
CONTRIBUTORS Updating information about authors! 2019-01-18 13:32:20 +00:00
LICENSE simplify newlines 2018-02-08 18:13:11 -05:00