eldarica
Are the following Horn clauses satisfiable? / Is the program safe?
loading...
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 terms of use and privacy policy of Eldarica. Contact support for details.
 home tutorial
'►' 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 - terms of use - privacy & cookies - code of conduct