Squeeze All the Power Out of Your Hardware to Verify Your Software!

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Název česky	Vymačkejte veškerou šťávu svého hardware pro verifikovaci vašeho software
Autoři	BARNAT Jiří BRIM Luboš
Rok publikování	2008
Druh	Článek ve sborníku
Konference	Leveraging Applications of Formal Methods, Verification and Validation
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Obor	Informatika
Klíčová slova	Parallel; LTL Model Checking;
Popis	Počítačový průmysl prochází změnou paradigmatu. Výrobci HW dnes zdokonalují výkon svých čipů spíše než zrychlováním jednoho CPU jádra spíše zaváděním více jader do jednoho CPU. Navíc jsou běžně dostupné klastry pracovních stanic, výkoné a extrémně velké externí paměťová zařízení. Tato technologická změna vyžaduje fundamentální změnu ve způsobu, kterým je zajišťována kvalita software. V tomto článku obhajujeme potřebu změny dosud používaných algoritmů pro verifikaci software.
Související projekty:	Techniky automatické verifikace a validace softwarových a hardwarových systémů Institut Teoretické Informatiky Automatizovaná verifikace softwaru