by Uppsala University
Are the following Horn clauses satisfiable? / Is the program safe?
DISCLAIMER: Eldarica is a 3rd party tool offered by Uppsala University. By clicking ‘►’, you instruct rise4fun to send the source to Uppsala University’s Eldarica to be analyzed. Please refer to the
of Eldarica. Contact
'►' shortcut: Alt+B
about Eldarica - The Model Checker
Eldarica is a model checker for Horn clauses in various formats, numerical transition systems, and software programs written in dialects of Scala or C.
rise4fun © 2017 Microsoft Corporation -
privacy & cookies
code of conduct