A Symbolic Model Checker for ACTL.

Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci

Browse the full FM paper archive.