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
• 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