« Tech Talk: A Multi-Encoding Approach for LTL Symbolic Satisfiability Checking | Main | Galois is Hiring! »
Monday
Aug012011

Tech talk video: Parallel K-Induction Based Model Checking

We are pleased to announce the availability of a new tech talk video: "Parallel K-Induction Based Model Checking", presented by Temesghen Kahsai. More details about the talk are available on the announcement page.

For more videos of our technical seminars, please visit our Vimeo channel.

Reader Comments

There are no comments for this journal entry. To create a new comment, use the form below.

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>