द्वारा कार्यक्रम alf.sf.net

Alf औपचारिक भाषाओं के साथ प्रयोग करने के लिए उपकरणों का एक संग्रह है। Alf पोर्टेबल और उपयोग करने के लिए आसान है। इसे पॉलिटिको डि मिलानो में विकसित किया गया है।