Home / Ada/SPARK / Automation > ada-for-automation Automation > ada-for-automation A4A is a framework for designing industrial automation applications using the Ada language. Package GitHub Back to Ada/SPARK