Product Details
Překladač modelu FAST pro ARMC
Created: 2009
English title
FAST to ARMC Translator
Type
software
License
In order to use the result by another entity, it is always necessary to acquire a license
License Fee
The licensor does not require a license fee for the result
Authors
Smrčka Aleš, Ing., Ph.D.
(DITS)
Keywords
VHDL, counter automata, translator, model, formal verification
Description
The program translates a model for FAST or for FASTer tool to ARMC model checker. The goal of the project is to achieve better experiment results of many of FAST models due to great effectiveness of ARMC (almost 7x faster then FASTer on several models). The translator completely understands a FAST/FASTer model specification and the main part of strategy description. The translator can be simply rewriten to support different output languages so the user is then able to write the model in one language (FAST) and verify it in different tools.
Location
License Conditions
Free software under the terms of GNU GPL (cf. http://www.gnu.org/licenses/gpl.html).
Projects
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, 2007-2013, running
Research groups
Departments