Description
Dynamic-logic proofs can be explored with a dedicated formal-methods tool.
It is useful for students and researchers studying program logic, proofs, and verification concepts. Proof tools require domain knowledge, so results should be interpreted by someone who understands the formal model.