SMCDEL web

Here you can try out SMCDEL, a symbolic model checker for Dynamic Epistemic Logic. See this paper and this technical report for more information.

Made by Malvin Gattinger. Using alex, happy, MathJax, scotty and more awesome free software.