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.