Tool for Computing Simulations
finite automata, tree automata, simulation, upward simulation, downward simulation, labelled transition systems
The tool allows efficient computation of simulation relation over labelled transition systems and the so called upward and downward simulations over tree automata. Written in OCaml.
The tool is available at http://www.fit.vutbr.cz/research/groups/verifit/tools/sa/
Free software under the terms of GNU GPL (cf. http://www.gnu.org/licenses/gpl.html).
Developement of techniques for automatic verification of programs with dynamic data structures (GP201/09/P531)
Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems (GD102/09/H042)
Rich-Model Toolkit -- An Infrastructure for Reliable Computer Systems (IC0901)
Security-Oriented Research in Information Technology (MSM0021630528)