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?

First Page		Document Content
Date: 2016-04-05 02:15:07 Formal 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 List Source URL: www.gogognome.nl Download Document from Source Website File Size: 750,20 KB Share Document on Facebook