FRDCSA
Minor
Internal
External
Git
Packages
SMCDEL
Jump To:
Parent Description
A symbolic model checker for [Dynamic Epistemic Logic](https://plato.stanford.edu/entries/dynamic-epistemic).