Andy in Uncategorized | April 20, 2018 Bookmarked Embedded.com: “You Think Your Software Works? Prove It!” – Describes the use of formal methods with ADA SPARK. Andy Published April 20, 2018