victorgomes / veritas Public

Notifications You must be signed in to change notification settings
Fork 0
Star 1

Verification tool built on top of Isabelle/HOL proof assistant

1 star 0 forks Branches Tags Activity

Name		Name	Last commit message	Last commit date
Latest commit History 39 Commits
Algebra		Algebra
HL		HL
SL		SL
Transformers		Transformers
LICENSE		LICENSE
README.md		README.md

Repository files navigation

veritas

Verification tool built on top of Isabelle/HOL proof assistant.

References

A. Amrstrong, V. B. F. Gomes and G. Struth. Building Program Construction and Verification Tools from Algebraic Principles. Formal Aspects of Computing.
B. Dongol, V. B. F. Gomes and G. Struth, A program Construction and Verifiation Tool for Separation Logic. MPC'15.