« Tech talk video: The Strategy Challenge in Computer Algebra | Main | Tech Talk: Engineers Without Borders »
Friday
Feb252011

Tech talk video: Verifying seL4-Based Systems

AuthorGalois, Inc. | DateFriday, February 25, 2011 at 1:20PM | in

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.

Reader Comments (1)

We are pleased to announce the availability of a new tech talk video: "Verifying seL4-Based Systems", presented by Simon Winwood. -fashion Giuseppe Zanotti Sandals

August 3, 2011 | Unregistered Commenterjames

PostPost a New Comment

Enter your information below to add a new comment.

My response is on my own website »
Author Email (optional):
Author URL (optional):
Post:
 
Some HTML allowed: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <code> <em> <i> <strike> <strong>

Notify me of follow-up comments via email.