Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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|}} |
 
horn-parametric-benchmarks.txt · Last modified: 2013/11/22 15:41 by hossein
 
© EPFL 2018 - Legal notice