Tool for Computing Simulations

Nástroj pro výpočet simulací

software

In order to use the result by another entity, it is always necessary to acquire a license

The licensor does not require a license fee for the result

Šimáček Jiří, Ing., Ph.D.
Holík Lukáš, doc. Mgr., Ph.D. (DITS)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)

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.

Nástroj i dokumentaci lze získat na URL: 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).

Advanced Formal Approaches in the Design and Verification of Computer-Based Systems, GACR, Standardní projekty, GA102/07/0322, 2007-2009, completed
Dealing with Complex Data Structures and Concurrency within the Rich Model Toolkit, MŠMT, COST, OC10009, 2010-2012, running
Developement of techniques for automatic verification of programs with dynamic data structures, GACR, Standardní projekty, GP201/09/P531, 2009-2011, completed
Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems, GACR, Doktorské granty, GD102/09/H042, 2009-2012, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, 2007-2013, running

Automated Analysis and Verification Research Group - VeriFIT (RG VERIFIT)

Department of Intelligent Systems (DITS)