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 terms of use and privacy policy of Eldarica.
 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.
Contact Us| Privacy & Cookies | Terms of Use | Trademarks| © 2021 Microsoft