Programas por alf.sf.net

Alf é uma coleção de ferramentas para experimentar com línguas formais. O Alf é portátil e fácil de usar. Foi desenvolvido no Politecnico di Milano.