. . "P(GAP202/11/0312), Z(MSM0021622419)" . . . "Electronic Proceedings in Theoretical Computer Science" . . . "72" . . "12"^^ . "[A4D1678832E7]" . "14330" . "2"^^ . "RIV/00216224:14330/11:00050201!RIV12-GA0-14330___" . "Platform Dependent Verification: On Engineering Verification Tools for 21st Century"@en . "2075-2180" . . . . "2011" . "Barnat, Ji\u0159\u00ED" . "10.4204/EPTCS.72.1" . "Platform Dependent Verification: On Engineering Verification Tools for 21st Century" . . "2"^^ . "The paper overviews recent developments in platform-dependent explicit-state LTL model checking." . . "Brim, Lubo\u0161" . . . "Platform Dependent Verification: On Engineering Verification Tools for 21st Century"@en . "RIV/00216224:14330/11:00050201" . "US - Spojen\u00E9 st\u00E1ty americk\u00E9" . . "Model checking; hardware platforms; parallelism"@en . . . "Platform Dependent Verification: On Engineering Verification Tools for 21st Century" . "220551" . . . "The paper overviews recent developments in platform-dependent explicit-state LTL model checking."@en .