We are pleased to announce the availability of a new Galois tech talk video: “Program Inconsistency Detection using Weakest Preconditions”, presented by Aaron Tomb. More details about the talk are available on the announcement page.
Program Inconsistency Detection using Weakest Preconditions from Galois Video on Vimeo.
For more videos, please visit http://vimeo.com/channels/galois.