CAAL: Concurrency Workbench, Aalborg Edition (2015)výskyt výsledku
| Identifikační kód | RIV/00216224:14330/15:00087229 |
|---|---|
| Název v anglickém jazyce | CAAL: Concurrency Workbench, Aalborg Edition |
| Druh | D - Článek ve sborníku |
| Jazyk | eng - angličtina |
| Obor - skupina | I - Informatika |
| Obor | IN - Informatika |
| Rok uplatnění | 2015 |
| 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 | 1 |
| Počet tvůrců celkem | 8 |
| Počet domácích tvůrců | 1 |
| Výčet všech uvedených jednotlivých tvůrců | Jesper R. Andersen (státní příslušnost: DK - Dánské království) Nicklas Andersen (státní příslušnost: DK - Dánské království) Soeren Enevoldsen (státní příslušnost: DK - Dánské království) Mathias M. Hansen (státní příslušnost: DK - Dánské království) Kim G. Larsen (státní příslušnost: DK - Dánské království) Simon R. Olesen (státní příslušnost: DK - Dánské království) Jiří Srba (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 2753057) Jacob K. Wortmann (státní příslušnost: DK - Dánské království) |
| Popis výsledku v anglickém jazyce | We present the first official release of CAAL, a web-based tool for modelling and verification of concurrent processes. The tool is primarily designed for educational purposes and it supports the classical process algebra CCS together with its timed extension TCCS. It allows to compare processes with respect to a range of strong/weak and timed/untimed equivalences and preorders (bisimulation, simulation and traces) and supports model checking of CCS/TCCS processes against recursively defined formulae ofHennessy-Milner logic. The tool offers a graphical visualizer for displaying labelled transition systems, including their minimization up to strong/weak bisimulation, and process behaviour can be examined by playing (bi)simulation and model checking games or via the generation of distinguishing formulae for non-equivalent processes. We describe the modelling and analysis features of CAAL, discuss the underlying verification algorithms and show a typical example of a use in the classroom |
| Klíčová slova oddělená středníkem | model checking; verification; concurrency workbench; tool; bisimulation |
| Stránka www, na které se nachází výsledek | http://link.springer.com/chapter/10.1007%2F978-3-319-25150-9_33 |
| DOI výsledku | 10.1007/978-3-319-25150-9_33 |
Údaje o výsledku v závislosti na druhu výsledku
| Název sborníku | Proceedings of the 12th International Colloquium on Theoretical Aspects of Computing (ICTAC'15) |
|---|---|
| ISBN | 9783319251493 |
| ISSN | 0302-9743 |
| Počet stran výsledku | 10 |
| Strana od-do | 573-582 |
| Název nakladatele | Springer |
| Místo vydání | Netherlands |
| Místo konání akce | Cali, Colombia |
| Datum konání akce | 2015 |
| Typ akce podle státní příslušnosti účastníků | WRD - Celosvětová |
| Kód UT WoS článku podle Web of Science | 000366212700033 |
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 | 2016 |
| Specifikace | RIV/00216224:14330/15:00087229!RIV16-MSM-14330___ |
| Datum poslední aktualizace výsledku | 24.05.2016 |
| Kontrolní číslo | 191637150 |
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
| Podpora / návaznosti | Institucionální podpora na rozvoj výzkumné organizace |
|---|