MCC'2017 - The Seventh Model Checking Contest

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F18%3A00106629" target="_blank" >RIV/00216224:14330/18:00106629 - isvavai.cz</a>

Výsledek na webu

<a href="https://link.springer.com/chapter/10.1007%2F978-3-662-58381-4_9" target="_blank" >https://link.springer.com/chapter/10.1007%2F978-3-662-58381-4_9</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-662-58381-4_9" target="_blank" >10.1007/978-3-662-58381-4_9</a>

Jazyk výsledku

angličtina

Název v původním jazyce

MCC'2017 - The Seventh Model Checking Contest

Popis výsledku v původním jazyce

Created in 2011, the Model Checking Contest (MCC) is an annualcompetition dedicated to provide a fair evaluation of software tools thatverify concurrent systems using state-space exploration techniques andmodel checking. This article presents the principles and results of the2017 edition of the MCC, which took place along with the Petri Net andACSD joint conferences in Zaragoza, Spain.

Název v anglickém jazyce

MCC'2017 - The Seventh Model Checking Contest

Popis výsledku anglicky

Created in 2011, the Model Checking Contest (MCC) is an annualcompetition dedicated to provide a fair evaluation of software tools thatverify concurrent systems using state-space exploration techniques andmodel checking. This article presents the principles and results of the2017 edition of the MCC, which took place along with the Petri Net andACSD joint conferences in Zaragoza, Spain.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2018

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Transactions on Petri Nets and Other Models of Concurrency XIII

ISBN

9783662583807

ISSN

0302-9743

e-ISSN

—

Počet stran výsledku

29

Strana od-do

181-209

Název nakladatele

Springer

Místo vydání

Berlin, Heidelberg

Místo konání akce

Berlin, Heidelberg

Datum konání akce

1. 1. 2018

Typ akce podle státní příslušnosti

CST - Celostátní akce

Kód UT WoS článku

—