Ada-Europe 2018, Lisbon Portugal 18-22 June 2018 SysAda was present at the Ada-Europe Conference on Reliable Software last week. It was a interesting week of Talks, tutorials and workshops. We will be looking at some of the highlights was they appear online.
(From the Archive) Provably Secure DNS: A case study in reliable software. An excellent paper from the Ada-Europe conference in 2013, by Barry Fagin and Martin Carlisle, using SPARK to build a DNS server. this was a hugely inspiring paper on the power of Ada and SPARK.