Publication details
Automatizovaná formální verifikace
| Basic information | |
|---|---|
| Original title: | Automatizovaná formální verifikace |
| Title in English: | Automated formal verification |
| Author: | Luboš Brim |
| Further information | |
|---|---|
| Citation: | BRIM, Luboš. Automatizovaná formální verifikace. In XXI. conference EurOpen 2002. Znojmo, Czech republic. Znojmo, Czech Republic : EuroOpen.cz, Praha, 2002. ISBN 80 -86583-00-7, pp. 1-7. 2002, September 30 - October 2, 2002, Znojmo, Czech Re. |
| Original language: | Czech |
| Field: | Computer hardware and software |
| Type: | Article in Proceedings |
| Keywords: | verification |
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 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.
Related projects:
- Algorithms and tools for practical verification of concurrent systems.
- Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing
