Provably Secure DNS

(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.

By | October 13th, 2017|Conferences|Comments Off on Provably Secure DNS

Toyota chooses SPARK Pro

(From the Archive) In May 2013 Toyota started a project that made use of SPARK Pro. this development was regarded as significant as it meant the motor industry was taking software seriously for the first time. The story was reported by AdaCore and a number of news outlets including eenews.

By | October 2nd, 2017|Transport|Comments Off on Toyota chooses SPARK Pro