MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications

Cite this paper

@inproceedings{Cermk2014MCMASSLKAM, title={MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications}, author={Petr Cerm{\'a}k and Alessio Lomuscio and Fabio Mogavero and Aniello Murano}, booktitle={CAV}, year={2014} }