EUC 2008 prototype
Formal Specifications for free...
At the Erlang User Conference, John Hughes demonstrated a formal specification generator for use with QuickCheck, which automatically tests a set of pure functions, and finds equations that they satisfy. From this page, you can download a version of the generator, together with source code of the examples presented at the conference, and try it out on your own code.
The download includes a copy of QuickCheck, which is needed for the generator to run, and a QuickCheck tutorial if you should like to explore QuickCheck further. If you want to do the latter, then you will need a QuickCheck licence. You can obtain a 30-day trial licence by registering on our licence server.
Obtain a QuickCheck trial licence