Product Details
Tool for Computing Simulations
Created: 2009
Czech title
Nástroj pro výpočet simulací
Type
software
License
required - free
Authors
Holík Lukáš, doc. Mgr., Ph.D. (DITS FIT BUT)
Šimáček Jiří, Ing., Ph.D. (DITS FIT BUT)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)
Šimáček Jiří, Ing., Ph.D. (DITS FIT BUT)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)
Keywords
finite automata, tree automata, simulation, upward simulation, downward simulation, labelled transition systems
Description
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.
Location
The tool is available at http://www.fit.vutbr.cz/research/groups/verifit/tools/sa/
Licence
Free software under the terms of GNU GPL (cf. http://www.gnu.org/licenses/gpl.html).
Projects
Advanced Formal Approaches in the Design and Verification of Computer-Based Systems (GA102/07/0322)
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)
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)
Research groups
Departments
Department of Intelligent Systems FIT BUT (DITS FIT BUT)