Programmi di alf.sf.net

Alf è una raccolta di strumenti per sperimentare con i linguaggi formali. Alf è portatile e facile da usare. È stato sviluppato presso il Politecnico di Milano.