Talks

Rich Counter-Examples for ACTL Model Checking

Title: Rich Counter-Examples for ACTL Model Checking
Speaker(s): Simon Busard
Context: Grascomp’s Contact Day, November 3rd, 2011, Université Libre de Bruxelles, Brussels, Belgium
File(s): GRASCOMPContactDay-Poster.pdf

Louvain Verification Lab