Sylvain Hallé
Posted in Conférence
Les professeurs Sylvain Hallé et Hugo Tremblay ont récemment publié un article à la conférence Computer Aided Verification (CAV), qui s’est tenue de manière virtuelle en juillet 2021. La conférence CAV compte parmi les meilleures dans le domaine de la vérification logicielle.
L’article, intitulé Foundations of Fine-Grained Explainability,
…
Sylvain Hallé
Posted in Conférence
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”.
…
Recent Comments