This HTML5 document contains 41 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

Prefix	IRI
dcterms	http://purl.org/dc/terms/
n15	http://localhost/temp/predkladatel/
n17	http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n11	http://linked.opendata.cz/ontology/domain/vavai/
n16	http://linked.opendata.cz/resource/domain/vavai/zamer/
skos	http://www.w3.org/2004/02/skos/core#
n3	http://linked.opendata.cz/ontology/domain/vavai/riv/
n8	http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216305%3A26230%2F09%3APR24516%21RIV10-MSM-26230___/
n2	http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
n7	http://linked.opendata.cz/ontology/domain/vavai/riv/vyuzitiJinymSubjektem/
n6	http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n14	http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdh	http://www.w3.org/2001/XMLSchema#
n18	http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n13	http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n10	http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n9	http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n12	http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item

n2:RIV%2F00216305%3A26230%2F09%3APR24516%21RIV10-MSM-26230___

rdf:type

skos:Concept n11:Vysledek

dcterms: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. 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.

dcterms:title

FAST to ARMC Translator Překladač modelu FAST pro ARMC Překladač modelu FAST pro ARMC

skos:prefLabel

Překladač modelu FAST pro ARMC FAST to ARMC Translator Překladač modelu FAST pro ARMC

skos:notation

RIV/00216305:26230/09:PR24516!RIV10-MSM-26230___

n3:aktivita

n13:Z

n3:aktivity

Z(MSM0021630528)

n3:dodaniDat

n12:2010

n3:domaciTvurceVysledku

n17:1458841

n3:druhVysledku

n9:R

n3:duvernostUdaju

n14:S

n3:entitaPredkladatele

n8:predkladatel

n3:idSjednocenehoVysledku

335624

n3:idVysledku

RIV/00216305:26230/09:PR24516

n3:interniIdentifikace

fast2armc

n3:jazykVysledku

n18:cze

n3:klicovaSlova

VHDL, counter automata, translator, model, formal verification

n3:klicoveSlovo

n6:VHDL n6:translator n6:model n6:counter%20automata n6:formal%20verification

n3:kontrolniKodProRIV

[797E6C713DD4]

n3:lokalizaceVysledku

http://fast2armc.sourceforge.net/

n3:obor

n10:JC

n3:pocetDomacichTvurcuVysledku

1

n3:pocetTvurcuVysledku

1

n3:rokUplatneniVysledku

n12:2009

n3:technickeParametry

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

n3:tvurceVysledku

Smrčka, Aleš

n3:vlastnik

n8:vlastnikVysledku

n3:vyuzitiJinymSubjektem

n7:N

n3:zamer

n16:MSM0021630528

n15:organizacniJednotka

26230