We are pleased to announce the availability of a new Galois tech talk video: “Formal Methods Applied to Control Software”, presented by Alwyn Goodloe. More details about the talk are available on the announcement page.
Formal Methods Applied to Control Software from Galois Video on Vimeo.
Formal Methods Applied to Control Software from Galois Video on Vimeo.
For more videos, please visit http://vimeo.com/channels/galois.