Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Published on Jan 27, 2013
Loop invariants are often needed when verifying programs with loops. In this short video, we'll walk through verifying a simple function written in Whiley and, in particular, see the loop invariants that are needed.