Platform Dependent Verification: On Engineering Verification Tools for 21st Century

• Název česky: Verifikace na konkrétních platformách: Inženýrství verifikačních nástrojů pro 21. století
• Autoři: BRIM Luboš; BARNAT Jiří
• Rok publikování: 2011
• Druh: Článek v odborném periodiku
• Časopis / Zdroj: Electronic Proceedings in Theoretical Computer Science
• Fakulta / Pracoviště MU: Fakulta informatiky
• www: EPTCS
• Doi: http://dx.doi.org/10.4204/EPTCS.72.1
• Obor: Informatika
• Klíčová slova: Model checking; hardware platforms; parallelism
• Popis: Článek podává přehled nedávných výsledků v oblasti enumerativního ověřování modelu lineární temporální logiky na různých výpočetních platformách.

Související projekty

• Vysoce paralelní a distribuované výpočetní systémy
• Software Components in Embedded Systems: Development and Verification