MCC'2017 - The Seventh Model Checking Contest

Result code in 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>

Result on the web

<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>

Result language

angličtina

Original language name

MCC'2017 - The Seventh Model Checking Contest

Original language description

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.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

—

OECD FORD branch

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

Project

—

Continuities

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year

2018

Confidentiality

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

Article name in the collection

Transactions on Petri Nets and Other Models of Concurrency XIII

ISBN

9783662583807

ISSN

0302-9743

e-ISSN

—

Number of pages

29

Pages from-to

181-209

Publisher name

Springer

Place of publication

Berlin, Heidelberg

Event location

Berlin, Heidelberg

Event date

Jan 1, 2018

Type of event by nationality

CST - Celostátní akce

UT code for WoS article

—