Other formats:
BibTeX
LaTeX
RIS
@inproceedings{1112168,
author = {Křetínský, Jan and Sickert, Salomon},
address = {Heidelberg Dordrecht London New York},
booktitle = {Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013},
doi = {http://dx.doi.org/10.1007/978-3-319-02444-8_41},
keywords = {modal transition systems; composition; specification; interface theory},
howpublished = {tištěná verze "print"},
language = {eng},
location = {Heidelberg Dordrecht London New York},
isbn = {978-3-319-02443-1},
pages = {487-491},
publisher = {Springer},
title = {MoTraS: A Tool for Modal Transition Systems and Their Extensions},
year = {2013}
}
TY - JOUR
ID - 1112168
AU - Křetínský, Jan - Sickert, Salomon
PY - 2013
TI - MoTraS: A Tool for Modal Transition Systems and Their Extensions
PB - Springer
CY - Heidelberg Dordrecht London New York
SN - 9783319024431
KW - modal transition systems
KW - composition
KW - specification
KW - interface theory
N2 - 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.
ER -
KŘETÍNSKÝ, Jan and Salomon SICKERT. MoTraS: A Tool for Modal Transition Systems and Their Extensions. In \textit{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.
|
