Imagination - The Ten Myths about Formal

A discussion with Professor Ashish Darbari on The Ten Myths about Formal. Ashish Darbari outlines the fact that Formal has three flavours (model checking, theorem proving and equivalence checking). Designing formal tools requires background in Formal

Last Modified: February 28, 2019