Detail produktu

INCLUDER (TRACER): Trace Inclusion for Data Word Automata

Vznik: 2015

Název česky
INCLUDER (tracer): Nástroj pro rozhodování běhové inkluze pro automaty nad daty
Typ
software
Licence
vyžadována - zdarma
Autoři
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/

Licence

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).

Projekty
Výzkumné skupiny
Pracoviště
Nahoru