Behavior Protocols Checker
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F06%3A00002205" target="_blank" >RIV/00216208:11320/06:00002205 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Behavior Protocols Checker
Original language description
Behavior Protocols Checker, [http://sofa.objectweb.org/download.phtml]
Czech name
Nástroj pro ověřování behavior protokolů
Czech description
Nástroj pro formální verifikaci korektnosti sestavení aplikace ze softwarových komponent, založený na metodě ?model checking?. Samostatně použitelný nástroj zapojený do projektu SOFA, v jehož rámci je přijat a šířen konsorciem ObjectWeb.org.
Classification
Type
X - Unclassified
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/1ET400300504" target="_blank" >1ET400300504: Realistic application of formal methods in component systems</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2006
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů