Detailed Information on Publication Record
2002
Automatizovaná formální verifikace
BRIM, LubošBasic information
Original name
Automatizovaná formální verifikace
Name (in English)
Automated formal verification
Authors
BRIM, Luboš (203 Czech Republic, guarantor)
Edition
Znojmo, Czech Republic, XXI. conference EurOpen 2002. Znojmo, Czech republic, p. 1-7, 2002
Publisher
EuroOpen.cz, Praha
Other information
Language
Czech
Type of outcome
Stať ve sborníku
Field of Study
20206 Computer hardware and architecture
Country of publisher
Czech Republic
Confidentiality degree
není předmětem státního či obchodního tajemství
RIV identification code
RIV/00216224:14330/02:00006441
Organization unit
Faculty of Informatics
ISBN
80-86583-00-7
Keywords in English
verification
Tags
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.
In English
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.
Links
| GA201/00/1023, research and development project |
| ||
| MSM 143300001, plan (intention) |
|