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.
|