KeY-HoareAllows you to make Hoare calculus in the Key tool | |
Download |
KeY-Hoare Ranking & Summary
Advertisement
- License:
- GPL
- Price:
- FREE
- Publisher Name:
- The KeY Project
- Publisher web site:
- http://www.key-project.org
- Operating Systems:
- Mac OS X
- File Size:
- 1 KB
KeY-Hoare Tags
KeY-Hoare Description
Allows you to make Hoare calculus in the Key tool KeY-Hoare is a free and easy to use software built on top of KeY and features a Hoare calculus with updates. KeY-Hoare is used in the Chalmers undergraduate course program verification to teach the Hoare calculus.
KeY-Hoare Related Software