Differences
This shows you the differences between two versions of the page.
| — |
horn-parametric-benchmarks [2013/11/22 15:41] (current) hossein created |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| + | ====== Parametric Timed Automata Benchmarks ====== | ||
| + | * Horn constraints generated by [[eldarica|Eldarica]] for parametric timed automata benchmarks | ||
| + | * Benchmarks are in [[http://www.smtlib.org/|SMT-LIB 2.0 ]] and can be processes by e.g. [[http://z3.codeplex.com/|Z3]] | ||
| + | |||
| + | | Safe Benchmarks | {{::hornsmtbenchmarks-safe.zip|}} | | ||
| + | | Unsafe Benchmarks | {{::hornsmtbenchmarks-unsafe.zip|}} | | ||