Professors Sylvain Hallé and Hugo Tremblay recently published a paper at the Computer Aided Verification (CAV) conference, held virtually in July 2021. The CAV conference is one of the best in the field of software verification.

The article, titled Foundations of Fine-Grained Explainability, defines the mathematical basis of a concept called “explainability”.

…

Read more ›