... CoFI[*]
http://www.brics.dk/Projects/CoFI/
... CASL[*]
http://www.loria.fr/~ hkirchne/CoFI/Tools/