Sequence Chart Studio
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F12%3A00057472" target="_blank" >RIV/00216224:14330/12:00057472 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1109/ACSD.2012.25" target="_blank" >http://dx.doi.org/10.1109/ACSD.2012.25</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1109/ACSD.2012.25" target="_blank" >10.1109/ACSD.2012.25</a>
Alternative languages
Result language
angličtina
Original language name
Sequence Chart Studio
Original language description
The Sequence Chart Studio (SCStudio) is a user-friendly drawing and verification tool for Message Sequence Charts (MSC). SCStudio supports several checkers that are able to verify properties such as realizability, time consistency, equivalence checking between two MSC diagrams, etc. Some of them are well known, while others are new or non-trivial extensions of existing ones. The graphical front-end is implemented as a Microsoft Visio add-on, whereas the checkers are platform independent. SCStudio is anopen source project that provides an open interface for additional modules.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GPP202%2F12%2FP612" target="_blank" >GPP202/12/P612: Formal Verification of Stochastic Real-Time Systems</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2012
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
2012 12th International Conference on Application of Concurrency to System Design
ISBN
9781467316873
ISSN
1550-4808
e-ISSN
—
Number of pages
6
Pages from-to
148-153
Publisher name
IEEE Computer Society
Place of publication
Los Allamitos, Califonia, USA
Event location
Hamburg, Germany
Event date
Jan 1, 2012
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—