KPHP web interface

Welcome! This web interface is under construction. More features coming soon.

Note: we know our semantics isn't perfect. If you are running a script and you notice something strange (e.g. wrong output, error messages, crashes, etc.) please drop us an email containing your script and we'll try to fix the problem.

Load example:   Category:   File:    

Input script:
LTL formula
Symbolic input buffer
Internal output (configuration/verification output)