Comparison of Model Checking Tools for Information Systems.

Marc Frappier, Benot Fraikin, Romain Chossart, Raphal Chane-Yack-Fa, Mohammed Ouenzar

Browse the full ICFEM paper archive.