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
'►' 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.
Privacy & Cookies
| © 2021 Microsoft