INCLUDER (tracer): Nástroj pro rozhodování běhové inkluze pro automaty nad daty

Autoři:Rogalewicz Adam, Iosif Radu, Vojnar Tomáš
Typ:software
Vznik:2015
Licence:vyžadována - zdarma
Klíčová slova:trace inclusion, data word automata, CEGAR, predicate abstraction, interpolation
Popis:
INCLUDER představuje prototypovou implementaci naší techniky pro rozhodování běhové inkluze (trace inclusion) nad automaty s daty. Technika je založena na predikátové abstrakci, interpolaci a CEGAR smyčce. Implementace využívá MathSat SMT solver.
Umístění:
Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/includer/
Výzkumné skupiny:
Pracoviště:
Licenční podmínky:
Volně šiřitelný software poskytovaný pod licencí GNU GPL (přesné znění licence je dostupné na stránce http://www.gnu.org/licenses/gpl.html).

Vaše IPv4 adresa: 54.196.201.241
Přepnout na IPv6 spojení

DNSSEC [dnssec]