Nástroj pro verifikaci systému popsaných formalismem Modechart
Autori:Gach Marek, Fiedor Jan, Ceska Milan
Typ:software
Vznik:2010
Licence:vyzadována - zdarma
Klícová slova:verifikace, Modechart, RRTL, reálný cas
Popis:
Nástroj umoznuje overovat splnitelnost casových omezení (zadaných ve forme formulí omezené RT-Logiky) v systémech popsaných formalismem Modechart. Také umoznuje prevádet popis systému z Modechart formalismu do mnoziny formulí omezené RT-Logiky.
Umístení:
http://www.fit.vutbr.cz/research/groups/verifit/tools/verif
Výzkumné skupiny:
Pracoviste:
Licencní podmínky:

FREEWARE LICENCE VUT V BRNE
Verze 1.
Copyright (c) 2010, Vysoké ucení technické v Brne (VUT v Brne), Antonínská 548/1, PSC 601 90

---------------------------------------------------------------------------------------------------------------------------------------------------

INSTALACÍ, KOPÍROVÁNÍM NEBO JINÝM POUZITÍM SOFTWARE POTVRZUJETE, ZE SOUHLASÍTE S PODMÍNKAMI TÉTO LICENCNÍ SMLOUVY. POKUD S TEMITO PODMÍNKAMI NESOUHLASÍTE, SOFTWARE NEINSTALUJTE, NEKOPÍRUJTE ANI NEPOUZÍVEJTE.

JESTLIZE NEMÁTE PLATNOU LICENCI NA SOFTWARE, NEJSTE OPRÁVNENI SOFTWARE INSTALOVAT, KOPÍROVAT ANI JINAK POUZÍVAT.

Definice:

Software se pro úcely této smlouvy rozumí pocítacový program (skupina pocítacových programu tvorící jeden funkcní celek) schopný autorskoprávní ochrany a s ním související dokumentace.

Kazdý, kdo pouzije Software, stává se Uzivatelem. Uzivatel se zavazuje dodrzovat tyto licencní podmínky.

VUT V BRNE (DÁLE JEN JAKO POSKYTOVATEL) UDELUJE LICENCI K POUZÍVÁNÍ SOFTWARE ZA NÁSLEDUJÍCÍCH PODMÍNEK:

  1. Uzivatel smí bezplatne uzívat Software pro vlastní potrebu k nekomercním úcelum.

  2. Uzivatel smí kopírovat a sírit doslovné kopie spustitelného Software (udelovat sublicence) na libovolném médiu, za predpokladu, ze na kazdé kopii viditelne a nálezite zverejní zmínku o autorských právech, ponechá ne-dotcené vsechny zmínky vztahující se k této licenci a dá kazdému príjemci spolu se Software kopii této licencní smlouvy.

  3. Uzivatel nesmí zasahovat do programového kódu Software, zejména nesmí zpetne analyzovat, dekompilovat nebo jinak upravovat Software, modifikovat anebo pouzívat jeho cásti v jiném software a tak vytvorit dílo zalozené na Software, a kopírovat a rozsirovat takové modifikace ci dílo.

  4. Uzivatel nesmí uzívat Software jiným zpusobem nez výslovne uvedeným v této licenci. Pokud má Uzivatel zájem o jiné zpusoby uzívání Software, zejména vyuzití ke komercním úcelum, muze kontaktovat poskytovatele a dojednat podmínky úplatné licence zvlástní smlouvou. Jakýkoli jiný pokus o kopírování, modifikování, poskytnutí sublicence anebo sírení Software je neplatný a má za následek automatický zánik oprávnení z této licencní smlouvy.

  5. VZHLEDEM K BEZPLATNÉMU POSKYTNUTÍ LICENCE K SOFTWARE SE NA SOFTWARE NEVZTAHUJE ZÁDNÁ ZÁRUKA, A TO V MÍRE POVOLENÉ ZÁKONEM. POKUD NENÍ PÍSEMNE STANOVENO JINAK, POSKYTUJÍ DRZITELÉ AUTORSKÝCH PRÁV POPRÍPADE JINÉ STRANY SOFTWARE "TAK, JAK JE", BEZ ZÁRUKY JAKÉHOKOLIV DRUHU, AT VÝSLOVNÉ NEBO KONKLUDENTNÍ, VCETNE, ALE NEJENOM, ZÁRUK ZA KVALITU A VÝKONNOST SOFTWARE, ZA PRODEJNOST A VHODNOST PRO URCITÝ ÚCEL.

    POSKYTOVATEL V ZÁDNÉM PRÍPADE NEODPOVÍDÁ ZA SKODY, VCETNE VSECH OBECNÝCH, SPECIÁLNÍCH, SKUTECNÝCH SKOD NEBO USLÉHO ZISKU VYPLÝVAJÍCÍCH Z UZÍVÁNÍ ANEBO NESCHOPNOSTI UZÍVAT SOFTWARE (VCETNE ALE NIKOLI JEN, ZTRÁTY NEBO ZKRESLENÍ DAT, TRVALÝCH SKOD ZPUSOBENÝCH UZIVATELI NEBO TRETÍM STRANÁM, SELHÁNÍ FUNKCE SOFTWARE V SOUCINNOSTI S JINÝMI SOFTWARE, NEBO V PRÍPADE, ZE PROGRAM PORUSUJE PRÁVA TRETÍCH OSOB), A TO I V PRÍPADE, ZE POSKYTOVATEL VEDEL O MOZNOSTI TAKOVÝCH SKOD), TO VSE V NEJSIRSÍ MOZNÉ MÍRE POVOLENÉ ZÁKONEM.

Záverecná ustanovení:

Nevynutitelnost anebo neplatnost anebo neúcinnost kteréhokoli ujednání této smlouvy neovlivní vynutitelnost anebo platnost anebo úcinnost jejích ostatních ustanovení.

Uzivatel je povinen zabezpecit dodrzování techto licencních podmínek prípadnou tretí osobou, která má prístup k jím uzívané kopii Software.

Otázky touto smlouvou neupravené vcetne otázek jejího vzniku a zániku se rídí ceským právem. V prípade soudní-ho sporu budou príslusné ceské obecné soudy.

Instalací, kopírováním nebo jiným pouzitím Software Uzivatel prohlasuje, ze se s obsahem této smlouvy dukladne seznámil, ze je souhlas s touto smlouvou projevem jeho skutecné, vázné, svobodné a urcité vule prosté omylu a ze není uzavrena v tísni za nápadne nevýhodných podmínek.