Model Graph

Formula Input

Formula Tree

Model Checker