Kripke Builder
About
Open
Save
Toggle Dropdown
Save as JSON
Save as PNG
Samples
{{example}}
Fit graph
Layout graph
Clear canvas
Delete
Draw edges
Check
Toggle Dropdown
Remember formula
{{formula}}
Accepts NuSMV
CTL
or
LTL
specifications.
{{result}}