We are pleased to announce the availability of a new tech talk video: “Verifying seL4-Based Systems”, presented by Simon Winwood. More details about the talk are available on the announcement page.
Verifying seL4-Based Systems from Galois Video on Vimeo.
Other videos of our technical seminars are available on our Vimeo channel.