"[797E6C713DD4]" . "fast2armc" . "http://fast2armc.sourceforge.net/" . "RIV/00216305:26230/09:PR24516" . "Smr\u010Dka, Ale\u0161" . "RIV/00216305:26230/09:PR24516!RIV10-MSM-26230___" . "1"^^ . "335624" . "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."@en . . "P\u0159eklada\u010D modelu FAST pro ARMC"@cs . . . . . "1"^^ . . "FAST to ARMC Translator"@en . "Objektov\u011B orientovan\u00E1 knihovna a program v jazyku Python (verze mezi 2.4 a 3.0) s otev\u0159en\u00FDm k\u00F3dem. Program a knihovna je pou\u017Eiteln\u00FD pro v\u0161echny platformy podporuj\u00EDc\u00ED interpret jazyka Python. Rozsah zdrojov\u00FDch k\u00F3d\u016F je cca 5 tis. \u0159\u00E1dk\u016F. Vo" . . "Z(MSM0021630528)" . "VHDL, counter automata, translator, model, formal verification"@en . . . "P\u0159eklada\u010D modelu FAST pro ARMC" . . . . . . "FAST to ARMC Translator"@en . "Program p\u0159ekl\u00E1d\u00E1 modely pro n\u00E1stroje FAST nebo FASTer, aby byly pou\u017Eiteln\u00E9 pro model checker ARMC. C\u00EDl projektu je vyu\u017E\u00EDt robustnost n\u00E1stroje ARMC pro \u0159adu model\u016F napsan\u00FDch pro n\u00E1stroj FAST. P\u0159eklada\u010D kompletn\u011B rozum\u00ED definici modelu v jazyku FAST a n\u011Bkter\u00E9 hlavn\u00ED \u010D\u00E1sti popisu strategie verifikace modelu. P\u0159eklada\u010D m\u016F\u017Ee b\u00FDt jednodu\u0161e p\u0159eps\u00E1n tak, aby podporoval jin\u00E9 v\u00FDstupn\u00ED jazyky. U\u017Eivateli je tak umo\u017En\u011Bno pomoc\u00ED r\u016Fzn\u00FDch verifika\u010Dn\u00EDch n\u00E1stroj\u016F ov\u011B\u0159it \u0159adu model\u016F specifikovan\u00FDch jazykem FAST."@cs . "26230" . . "Program p\u0159ekl\u00E1d\u00E1 modely pro n\u00E1stroje FAST nebo FASTer, aby byly pou\u017Eiteln\u00E9 pro model checker ARMC. C\u00EDl projektu je vyu\u017E\u00EDt robustnost n\u00E1stroje ARMC pro \u0159adu model\u016F napsan\u00FDch pro n\u00E1stroj FAST. P\u0159eklada\u010D kompletn\u011B rozum\u00ED definici modelu v jazyku FAST a n\u011Bkter\u00E9 hlavn\u00ED \u010D\u00E1sti popisu strategie verifikace modelu. P\u0159eklada\u010D m\u016F\u017Ee b\u00FDt jednodu\u0161e p\u0159eps\u00E1n tak, aby podporoval jin\u00E9 v\u00FDstupn\u00ED jazyky. U\u017Eivateli je tak umo\u017En\u011Bno pomoc\u00ED r\u016Fzn\u00FDch verifika\u010Dn\u00EDch n\u00E1stroj\u016F ov\u011B\u0159it \u0159adu model\u016F specifikovan\u00FDch jazykem FAST." . "P\u0159eklada\u010D modelu FAST pro ARMC" . . . . . "P\u0159eklada\u010D modelu FAST pro ARMC"@cs .