MoTraS: A Tool for Modal Transition Systems and Their Extensions

KŘETÍNSKÝ, Jan and Salomon SICKERT. MoTraS: A Tool for Modal Transition Systems and Their Extensions. In Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013. Heidelberg Dordrecht London New York: Springer, 2013, p. 487-491. ISBN 978-3-319-02443-1. Available from: https://dx.doi.org/10.1007/978-3-319-02444-8_41.

Basic information

Original name

MoTraS: A Tool for Modal Transition Systems and Their Extensions

Authors

KŘETÍNSKÝ, Jan (203 Czech Republic, guarantor, belonging to the institution) and Salomon SICKERT (276 Germany)

Edition

Heidelberg Dordrecht London New York, Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, p. 487-491, 5 pp. 2013

Publisher

Springer

---

Other information

Language

English

Type of outcome

Stať ve sborníku

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

Germany

Confidentiality degree

není předmětem státního či obchodního tajemství

Publication form

printed version "print"

Impact factor

Impact factor: 0.402 in 2005

RIV identification code

RIV/00216224:14330/13:00066203

Organization unit

Faculty of Informatics

ISBN

978-3-319-02443-1

ISSN

DOI

http://dx.doi.org/10.1007/978-3-319-02444-8_41

Keywords in English

modal transition systems; composition; specification; interface theory

Tags

core_A, firank_A

Tags

International impact, Reviewed

---

Abstract

V originále

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.

---

Links

GBP202/12/G061, research and development project	Name: Centrum excelence - Institut teoretické informatiky (CE-ITI) (Acronym: CE-ITI) Investor: Czech Science Foundation
MUNI/A/0739/2012, interní kód MU	Name: Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity (Acronym: SKOMU) Investor: Masaryk University, Category A
MUNI/A/0760/2012, interní kód MU	Name: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace II. (Acronym: FI MAV II.) Investor: Masaryk University, Category A