A Framework for CTLK Model Checking with QBF

This page provides source code for our paper presented at FTSCS'19:

Emily Yu, Martina Seidl, and Armin Biere.
A Framework for Model Checking against CTLK Using Quantified Boolean Formulas.
In Proceedings 7th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS'19).
[ preprint | source ]

The following archive contains the source code of our extension to MCMAS.

[ qbf_mcmas.tar.gz ]