Cocktail

Cocktail: A tool for deriving correct programs (Eindhoven University of Technology)