Feb. 26, 2017
Provable code
Learn the concept:
Predicate Calculus
Predicates - True or false, Can take variables, Applied over a range, Higher order, First Order
Inference
Induction
Axioms
Design by Contract
Cache and Query
Preconditions
Eliminating Preconditions
Postconditions and Invariants
Strict Preconditions
Strength
No comments:
Post a Comment