KeY-Hoare

Allows you to make Hoare calculus in the Key tool
Download

KeY-Hoare Ranking & Summary

Advertisement

  • Rating:
  • 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

About SoftwareSea