R 2007

DiVinE Multi-Core

BARNAT, Jiří, Luboš BRIM a Petr ROČKAI

Základní údaje

Originální název

DiVinE Multi-Core

Název česky

DiVinE Multi-Core

Autoři

BARNAT, Jiří (203 Česká republika), Luboš BRIM (203 Česká republika, garant) a Petr ROČKAI (203 Česká republika)

Vydání

2007

Další údaje

Jazyk

angličtina

Typ výsledku

Software

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Česká republika

Utajení

není předmětem státního či obchodního tajemství

Odkazy

Kód RIV

RIV/00216224:14330/07:00019614

Organizační jednotka

Fakulta informatiky

Klíčová slova anglicky

parallel verification; multi-core architecture; model-checking

Technické parametry

Paralelní verifikační nástroj pro ověřování modelů LTL vlastností.

Štítky

Příznaky

Mezinárodní význam
Změněno: 12. 2. 2009 09:41, prof. RNDr. Luboš Brim, CSc.

Anotace

ORIG CZ

V originále

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).

Česky

DiVinE-MC je paralelní nástroj pro verifikaci LTL vlastností. Nástroj pouzívá algoritmy pro práci ve sdílené pameti na více-jadrových systémech.

Návaznosti

GA201/06/1338, projekt VaV
Název: Automatizovaná verifikace softwaru
Investor: Grantová agentura ČR, Automatizovaná verifikace softwaru
MSM0021622419, záměr
Název: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Vysoce paralelní a distribuované výpočetní systémy
1ET408050503, projekt VaV
Název: Techniky automatické verifikace a validace softwarových a hardwarových systémů
Investor: Akademie věd ČR, Techniky automatické verifikace a validace softwarových a hardwarových systémů