SMCDEL web

This is the web interface of SMCDEL, a symbolic model checker for Dynamic Epistemic Logic. See this paper and this technical report for more information.

Load Examples: or enter your own code on the left side, then or

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