First Page | Document Content | |
---|---|---|
Date: 2016-04-05 02:15:07Formal methods Theoretical computer science Software engineering Mathematics Hoare logic Static program analysis Algorithm Precondition Predicate transformer semantics Loop invariant | Let tests drive or let Dijkstra derive? Presented at ALE2014 in Krakow Poland on August 21, 2014 Author: Sander Kooijmans Date: November 3, 2014 Why this document?Add to Reading ListSource URL: www.gogognome.nlDownload Document from Source WebsiteFile Size: 750,20 KBShare Document on Facebook |