Distributed Verification: Exploring the Power of Raw Computing Power

• Název česky: Distribuovana verifikace: Moznosti hrube vypocetni sily
• Autoři: BRIM Luboš
• Rok publikování: 2006
• Druh: Článek ve sborníku
• Konference: 5th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2006)
• Fakulta / Pracoviště MU: Fakulta informatiky
• Obor: Informatika
• Klíčová slova: distributed verification
• Popis: Prehled vysledku o distribuovane verifikaci.

Související projekty

• Techniky automatické verifikace a validace softwarových a hardwarových systémů
• Institut Teoretické Informatiky
• Vysoce paralelní a distribuované výpočetní systémy
• Automatizovaná verifikace softwaru