Orca: A Functional Correctness Verifier for Imperative Programs Based on Isabelle/UTP.
Updated 3 years ago