. "Brim, Lubo\u0161" . . "divine-mc-1.0" . "Based on proven DiVinE LTL model checking system, DiVinE Multi-Core brings parallel verification to contemporary high-powered multi-core architectures. DiVinE Multi-Core exploits full power of modern x86 hardware and reduces unnecessary delays in workflow. Employing state-of-the-art parallel liveness checking algorithm, DiVinE Multi-Core offers unmatched scalability on shared memory platforms in the range of 2- to 16-core machines. Moreover, the tool supports 64-bit platforms out of the box, allowing it to leverage all the memory available in contemporary systems (and systems of the upcoming years)." . . . "RIV/00216224:14330/07:00019614" . "[B788B06B8D26]" . . . "3"^^ . . . . . "Barnat, Ji\u0159\u00ED" . "3"^^ . "DiVinE Multi-Core" . "P(1ET408050503), P(GA201/06/1338), Z(MSM0021622419)" . . "417712" . . . . "http://anna.fi.muni.cz/divine/divine-mc/" . . "RIV/00216224:14330/07:00019614!RIV10-GA0-14330___" . "Ro\u010Dkai, Petr" . "14330" . "parallel verification; multi-core architecture; model-checking"@en . . "DiVinE Multi-Core"@en . . "Paraleln\u00ED verifika\u010Dn\u00ED n\u00E1stroj pro ov\u011B\u0159ov\u00E1n\u00ED model\u016F LTL vlastnost\u00ED." . "Based on proven DiVinE LTL model checking system, DiVinE Multi-Core brings parallel verification to contemporary high-powered multi-core architectures. DiVinE Multi-Core exploits full power of modern x86 hardware and reduces unnecessary delays in workflow. Employing state-of-the-art parallel liveness checking algorithm, DiVinE Multi-Core offers unmatched scalability on shared memory platforms in the range of 2- to 16-core machines. Moreover, the tool supports 64-bit platforms out of the box, allowing it to leverage all the memory available in contemporary systems (and systems of the upcoming years)."@en . "DiVinE Multi-Core" . . . . . . "DiVinE Multi-Core"@en .