MoTraS: A Tool for Modal Transition Systems and Their Extensions (2013)výskyt výsledku
| Identifikační kód | RIV/00216224:14330/13:00066203 |
|---|---|
| Název v anglickém jazyce | MoTraS: A Tool for Modal Transition Systems and Their Extensions |
| Druh | D - Článek ve sborníku |
| Jazyk | eng - angličtina |
| Obor - skupina | I - Informatika |
| Obor | IN - Informatika |
| Rok uplatnění | 2013 |
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
| Počet výskytů výsledku | 2 |
| Počet tvůrců celkem | 2 |
| Počet domácích tvůrců | 1 |
| Výčet všech uvedených jednotlivých tvůrců | Jan Křetínský (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 3503054) Salomon Sickert (státní příslušnost: DE - Spolková republika Německo) |
| Popis výsledku v anglickém jazyce | We present a tool for modal transition systems (MTS), disjunctive MTS and further extensions of MTS supporting also non-deterministic systems. We provide the operations required from specification theories as well as some additional support such as deterministic hull, LTL model checking etc. The tool comes with both graphical and command line interface. |
| Klíčová slova oddělená středníkem | modal transition systems; composition; specification; interface theory |
| Stránka www, na které se nachází výsledek | - |
| DOI výsledku | 10.1007/978-3-319-02444-8_41 |
Údaje o výsledku v závislosti na druhu výsledku
| Název sborníku | Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013 |
|---|---|
| ISBN | 9783319024431 |
| ISSN | 0302-9743 |
| Počet stran výsledku | 5 |
| Strana od-do | 487-491 |
| Název nakladatele | Springer |
| Místo vydání | Heidelberg Dordrecht London New York |
| Místo konání akce | Heidelberg Dordrecht London New York |
| Datum konání akce | 2013 |
| Typ akce podle státní příslušnosti účastníků | WRD - Celosvětová |
| Kód UT WoS článku podle Web of Science | - |
Ostatní informace o výsledku
| Předkladatel | Masarykova univerzita / Fakulta informatiky |
|---|---|
| Dodavatel | MSM - Ministerstvo školství, mládeže a tělovýchovy (MŠMT) |
| Rok sběru | 2014 |
| Specifikace | RIV/00216224:14330/13:00066203!RIV14-MSM-14330___ |
| Datum poslední aktualizace výsledku | 29.05.2014 |
| Kontrolní číslo | 56537216 |
Informace o dalších výskytech výsledku dodaného stejným předkladatelem
| Dodáno GA ČR v roce 2014 | RIV/00216224:14330/13:00066203 v dodávce dat RIV14-GA0-14330___/01:1 |
|---|
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
| Projekt podporovaný GA ČR v programu GB | GBP202/12/G061 - Centrum excelence - Institut teoretické informatiky (CE-ITI) (2012 - 2018) |
|---|---|
| Podpora / návaznosti | Specifický výzkum na vysokých školách, poskytovatel MŠMT |