Eldarica Web Interface

Eldarica is a model checker developed and maintained by EPFL and Uppsala University.

Load a predefined example: ... or enter a program:

Send given input to Eldarica
Save input on the server and make it available through a private link
  C integer semantics:
Select integer semantics for C/C++ input. This does not affect the handling of Horn clauses.

Show documentation Eldarica Help