CAV 2023 @Paris

less than 1 minute read

Published:

Our paper «Searching for i-good lemmas to accelerate safety model checking» was accepted and presented at CAV 2023.

Paper presentation

Eiffel Tower

Textbook

You May Also Enjoy

Ofer @Shanghai

less than 1 minute read

Published:

My collaborator, Professor Ofer Strichman from Technion, Israel, was invited to give a lecture titled ‘SAT/SMT - The Engines of Reasoning’ at the 20th International Summer School held at East China Normal University in Shanghai from July 9 to 12, 2024.