INCLUDER (tracer): Trace Inclusion for Data Word Automata

Authors:Rogalewicz Adam, Iosif Radu, Vojnar Tomáš
Type:software
Created:2015
Licence:required - no fee
Keywords:trace inclusion, data word automata, CEGAR, predicate abstraction, interpolation
Description:
INCLUDER is a prototype implementation of our original decision procedure for data word automata. The procedure is based on combination of predicate abstraction, interpolation and CEGAR. The tool is build over the MathSat SMT solver.
Location:
Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/includer/
Research groups:
Departments:
Licence terms:
Free software under the terms of GNU GPL (cf. http://www.gnu.org/licenses/gpl.html).

Your IPv4 address: 54.82.112.193
Switch to IPv6 connection

DNSSEC [dnssec]