Sequence Chart Studio 0.1: Basic Verification Algorithms

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F08%3A00025310" target="_blank" >RIV/00216224:14330/08:00025310 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Sequence Chart Studio 0.1: Basic Verification Algorithms
Original language description
The Sequence Chart Studio (scstudio) is a user-friendly drawing and verification tool for Message Sequence Charts (basic MSC, HMSC). It provides several verification algorithms and offers an open interface for additional modules. This version includes basic verification algorithms: detect deadlock/livelock, detect cycles, and trace race conditions.
Czech name
Sequence Chart Studio 0.1: základní verifikační algoritmy
Czech description
Sequence Chart Studio (scstudio) je uživatelsky příjemný nástroj pro kreslení a verifikaci modelů ve formalizmech Message Sequence Charts (basic MSC, HMSC). Tento nástroj poskytuje několik verifikačních algoritmů a nabízí se také jako vhodné prostředí pro přidání dalších modulů. Tato verze obsahuje základní kontrolní algoritmy: detekce deadlock/livelock, detekce cyklů a trace race conditions.

Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

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

Internal product ID
Sequence Chart Studio Basic
Technical parameters
Nástroj pro kreslení a verifikaci modelů ve formalizmech Message Sequence Charts a UML Sequence Diagrams implementovaný jako doplněk (add-on) do programu MS Visio .
Economical parameters
—
Owner IČO
00216224
Owner name
Masarykova univerzita

Similar results(10)