Automated formal verification

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

Result language
čeština
Original language name
Automatizovaná formální verifikace
Original language description
V posledních letech stále více narůstá význam formální verifikace komplexních hardwarových a softwarových systémů jako alternativního přístupu ke zvýšení správnosti, spolehlivosti a kvality. Automatizovaná formální verifikace částečně odstraňuje omezenítradičních metod jakými jsou simulace a testování. V příspěvku se zaměříme na přehled současného stavu, charakterizujeme postavení formálních metod verifikace v procesu vývoje komplexních systémů. Podrobněji pak pojednáme o tzv. ověřování správnosti modelu (Model Checking), který je v současné době již standardně používán v průmyslové praxi.
Czech name
Automatizovaná formální verifikace
Czech description
—

Project
<a href="/en/project/GA201%2F00%2F1023" target="_blank" >GA201/00/1023: Algorithms and tools for practical verification of concurrent systems</a><br>
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)

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

Article name in the collection
XXI. conference EurOpen 2002. Znojmo, Czech republic
ISBN
80-86583-00-7
ISSN
—
e-ISSN
—
Number of pages
7
Pages from-to
1
Publisher name
EuroOpen.cz, Praha
Place of publication
Znojmo, Czech Republic
Event location
September 30 - October 2, 2002, Znojmo, Czech Re
Event date
Jan 1, 2002
Type of event by nationality
CST - Celostátní akce
UT code for WoS article
—

Result description