Hoare House: Our core project. A playground where models interact with real world codebases generating verifiable formal specifications in the process.
γ brace: A lightweight harness for formal specification checking