About: Překladač modelu FAST pro ARMC

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Překladač modelu FAST pro ARMC Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
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. (en) Program překládá modely pro nástroje FAST nebo FASTer, aby byly použitelné pro model checker ARMC. Cíl projektu je využít robustnost nástroje ARMC pro řadu modelů napsaných pro nástroj FAST. Překladač kompletně rozumí definici modelu v jazyku FAST a některé hlavní části popisu strategie verifikace modelu. Překladač může být jednoduše přepsán tak, aby podporoval jiné výstupní jazyky. Uživateli je tak umožněno pomocí různých verifikačních nástrojů ověřit řadu modelů specifikovaných jazykem FAST. Program překládá modely pro nástroje FAST nebo FASTer, aby byly použitelné pro model checker ARMC. Cíl projektu je využít robustnost nástroje ARMC pro řadu modelů napsaných pro nástroj FAST. Překladač kompletně rozumí definici modelu v jazyku FAST a některé hlavní části popisu strategie verifikace modelu. Překladač může být jednoduše přepsán tak, aby podporoval jiné výstupní jazyky. Uživateli je tak umožněno pomocí různých verifikačních nástrojů ověřit řadu modelů specifikovaných jazykem FAST. (cs)
Title	Překladač modelu FAST pro ARMC FAST to ARMC Translator (en) Překladač modelu FAST pro ARMC (cs)
skos:prefLabel	Překladač modelu FAST pro ARMC FAST to ARMC Translator (en) Překladač modelu FAST pro ARMC (cs)
skos:notation	RIV/00216305:26230/09:PR24516!RIV10-MSM-26230___
http://linked.open...avai/riv/aktivita	Z
http://linked.open...avai/riv/aktivity	Z(MSM0021630528)
http://linked.open...vai/riv/dodaniDat	2010
http://linked.open...aciTvurceVysledku	Smrčka, Aleš
http://linked.open.../riv/druhVysledku	R - Software
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Vysoké učení technické v Brně / Fakulta informačních technologií
http://linked.open...dnocenehoVysledku	335624
http://linked.open...ai/riv/idVysledku	RIV/00216305:26230/09:PR24516
http://linked.open...terniIdentifikace	fast2armc
http://linked.open...riv/jazykVysledku	cze - čeština
http://linked.open.../riv/klicovaSlova	VHDL, counter automata, translator, model, formal verification (en)
http://linked.open.../riv/klicoveSlovo	VHDL model translator formal verification counter automata
http://linked.open...ontrolniKodProRIV	[797E6C713DD4]
http://linked.open...okalizaceVysledku	http://fast2armc.sourceforge.net/
http://linked.open...in/vavai/riv/obor	JC
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	1 (xsd:int)
http://linked.open...UplatneniVysledku	2009
http://linked.open...echnickeParametry	Objektově orientovaná knihovna a program v jazyku Python (verze mezi 2.4 a 3.0) s otevřeným kódem. Program a knihovna je použitelný pro všechny platformy podporující interpret jazyka Python. Rozsah zdrojových kódů je cca 5 tis. řádků. Vo
http://linked.open...iv/tvurceVysledku	Smrčka, Aleš
http://linked.open...avai/riv/vlastnik	Vysoké učení technické v Brně
http://linked.open...itiJinymSubjektem	N - Nabytí licence není nutné (výsledek není licencován)
http://linked.open...n/vavai/riv/zamer	Výzkum informačních technologií z hlediska bezpečnosti
http://localhost/t...ganizacniJednotka	26230
is http://linked.open...avai/riv/vysledek of	Překladač modelu FAST pro ARMC Překladač modelu FAST pro ARMC Překladač modelu FAST pro ARMC Překladač modelu FAST pro ARMC

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 36 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software