TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

A State Space Tool for Concurrent System Models Expressed In C++

Tutkimustuotosvertaisarvioitu

Yksityiskohdat

AlkuperäiskieliEnglanti
OtsikkoSPLST 2015 Symposium on Programming Languages and Software Tools
AlaotsikkoProceedings of the 14th Symposium on Programming Languages and Software Tools (SPLST'15) Tampere, Finland, Oct 9-10, 2015
ToimittajatJyrki Nummenmaa, Outi Sievi-Korte, Erkki Mäkinen
KustantajaCEUR-WS.org
Sivut91-105
Sivumäärä15
Vuosikerta1525
TilaJulkaistu - 14 joulukuuta 2015
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisussa
TapahtumaSYMPOSIUM ON PROGRAMMING LANGUAGES AND SOFTWARE TOOLS -
Kesto: 1 tammikuuta 1900 → …

Julkaisusarja

NimiCEUR Workshop Proceedings
Vuosikerta1525
ISSN (elektroninen)1613-0073

Conference

ConferenceSYMPOSIUM ON PROGRAMMING LANGUAGES AND SOFTWARE TOOLS
Ajanjakso1/01/00 → …

Tiivistelmä

This publication introduces a state space exploration tool that is based on representing the model under verification as a piece of C++ code that obeys certain conventions. This approach facilitates experimenting with many kinds of modelling ideas. On the other hand, the use of stubborn sets and symmetries requires that either the modeller or a preprocessor tool analyses the model at a syntactic level and expresses stubborn set obligation rules and the symmetry mapping as suitable C++ functions. The tool supports the detection of illegal deadlocks, safety errors, and may progress errors. It also partially supports the detection of must progress errors.

!!ASJC Scopus subject areas

Tutkimusalat

Julkaisufoorumi-taso