Redirecting you to Reddit in 5 seconds:

https://old.reddit.com/r/programming/comments/1hnrs8t/invariants_computation_and_applications_pdf