Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Published on Apr 24, 2013
In the final video about GPUVerify, Alastair Donaldson covers two advanced topics: the lock-step predicated execution technique that the tool uses to handle conditional and looping code, and the manner by which loop invariants are automatically inferred using the Houdini algorithm.