Ada/SPARK Industrial Automation?

I don’t know about industrial automation, but I recall this thread which could be interesting to you, if you haven’t already read it: Ada for Automation seeking feedback!

2 Likes