Automatizovaná formální verifikace
| Title in English | Automated formal verification |
|---|---|
| Authors | |
| Year of publication | 2002 |
| Type | Article in Proceedings |
| Conference | XXI. conference EurOpen 2002. Znojmo, Czech republic |
| MU Faculty or unit | |
| Citation | |
| Field | Computer hardware and software |
| Keywords | verification |
| Description | 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: |