Automatizovaná formální verifikace

• Title in English: Automated formal verification
• Authors: BRIM Luboš
• Year of publication: 2002
• Type: Article in Proceedings
• Conference: XXI. conference EurOpen 2002. Znojmo, Czech republic
• MU Faculty or unit: Faculty of Informatics
• 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

• Algorithms and tools for practical verification of concurrent systems.
• Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing