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 applied logic; Automated proof generation and checking; Formal and semi-formal verification of hardware and software.

Clifford did talk about this tool set for formal verification of digital circuits.

Leave a Reply

Your email address will not be published. Required fields are marked *