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 | Add to Reading List |