Product detail

INCLUDER (tracer): Trace Inclusion for Data Word Automata

ROGALEWICZ, A. IOSIF, R. VOJNAR, T.

Product type

software

Abstract

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.

Keywords

trace inclusion, data word automata, CEGAR, predicate abstraction, interpolation

Create date

01.03.2015

Location

Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/includer/

www

Documents