SED
Please watch the introduction video (no audio). You can pause the video at any time to comprehend the content.
Best Practices
- Focus on an unverified node indicated by a red cross.
- Inspect the parent nodes to comprehend the followed execution path.
- Comprehend the truth values of the unverified node to identify what could not be shown.
- Inspect the symbolic state to identify bugs. If there is none, the proof can be closed interactively outside of SED.