Clifford Wolf did present his Formal Verification toolbox at Stanford University

Clifford Wolf was invited by Prof. Clark Barret to hold a presentation about his work done on formal verification on  the 20th of November 2017. Clark Barret works in the Department of Computer Science at Stanford University. His main research interests are Propositional satisfiability; Satisfiability modulo theories; Automated reasoning and…

read more