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

Logo poskytovatele

Varování

Publikace nespadá pod Filozofickou 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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.