Distributed Verification: Exploring the Power of Raw Computing Power

• Authors: BRIM Luboš
• Year of publication: 2006
• Type: Article in Proceedings
• Conference: 5th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2006)
• MU Faculty or unit: Faculty of Informatics
• Citation: BRIM, Luboš. Distributed Verification: Exploring the Power of Raw Computing Power. In 5th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2006). Bonn, Germany: TU Munchen, 2006, p. 23-34, 15 pp. ISBN 3-540-70951-7.
• Field: Informatics
• Keywords: distributed verification
• Description: Overview of methods and techniques for distributed verification.

Related projects

• Techniques for automatic verification and validation of software nad hardware systems
• Institute for Theoretical Computer Science
• Highly Parallel and Distributed Computing Systems
• Automated software verification