Who - A verification condition generator for imperative higher-order programs
Who is a program to generate verification conditions for imperative programs with higher-order functions.
The current version is version 0.2.
The development takes place at github: http://github.com/kanigsson/who
Old versions
You can download old versions of Who here.
