Other formats:
BibTeX
LaTeX
RIS
@inproceedings{405449,
author = {Brim, Luboš},
address = {Znojmo, Czech Republic},
booktitle = {XXI. conference EurOpen 2002. Znojmo, Czech republic},
keywords = {verification},
language = {cze},
location = {Znojmo, Czech Republic},
isbn = {80-86583-00-7},
pages = {1-7},
publisher = {EuroOpen.cz, Praha},
title = {Automatizovaná formální verifikace},
year = {2002}
}
TY - JOUR
ID - 405449
AU - Brim, Luboš
PY - 2002
TI - Automatizovaná formální verifikace
PB - EuroOpen.cz, Praha
CY - Znojmo, Czech Republic
SN - 8086583007
KW - verification
N2 - 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.
ER -
BRIM, Luboš. Automatizovaná formální verifikace (Automated formal verification). In \textit{XXI. conference EurOpen 2002. Znojmo, Czech republic}. Znojmo, Czech Republic: EuroOpen.cz, Praha, 2002, p.~1-7. ISBN~80-86583-00-7.
|
