[whaaswijk]

For more on program synthesis and verification see also the Leon system by Viktor Kuncak et al.[1]

[1] http://lara.epfl.ch/w/