2002
Automatizovaná formální verifikace
BRIM, LubošZákladní údaje
Originální název
Automatizovaná formální verifikace
Název anglicky
Automated formal verification
Autoři
BRIM, Luboš (203 Česká republika, garant)
Vydání
Znojmo, Czech Republic, XXI. conference EurOpen 2002. Znojmo, Czech republic, s. 1-7, 2002
Nakladatel
EuroOpen.cz, Praha
Další údaje
Jazyk
čeština
Typ výsledku
Stať ve sborníku
Obor
20206 Computer hardware and architecture
Stát vydavatele
Česká republika
Utajení
není předmětem státního či obchodního tajemství
Kód RIV
RIV/00216224:14330/02:00006441
Organizační jednotka
Fakulta informatiky
ISBN
80-86583-00-7
Klíčová slova anglicky
verification
Štítky
Změněno: 10. 1. 2006 15:01, prof. RNDr. Luboš Brim, CSc.
V originále
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.
Anglicky
In the paper we give an overview of the current state in the formal verification of hardware and software systems with particular emphasis on model checking and its possibilities and limitations.
Návaznosti
| GA201/00/1023, projekt VaV |
| ||
| MSM 143300001, záměr |
|