BARNAT, Jiří, Luboš BRIM a Petr ROČKAI. DiVinE Multi-Core. 2007.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název DiVinE Multi-Core
Název česky DiVinE Multi-Core
Autoři BARNAT, Jiří (203 Česko), Luboš BRIM (203 Česko, garant) a Petr ROČKAI (203 Česko).
Vydání 2007.
Další údaje
Originální jazyk angličtina
Typ výsledku Software
Obor 10201 Computer sciences, information science, bioinformatics
Stát vydavatele Česko
Utajení není předmětem státního či obchodního tajemství
WWW URL
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 Model-Checking, multi-core architecture, parallel verification
Příznaky Mezinárodní význam
Změnil Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 12. 2. 2009 09:41.
Anotace
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).
Anotace č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 VaVNázev: Automatizovaná verifikace softwaru
Investor: Grantová agentura ČR, Standardní projekty
MSM0021622419, záměrNázev: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Výzkumné záměry
1ET408050503, projekt VaVNázev: Techniky automatické verifikace a validace softwarových a hardwarových systémů
Investor: Akademie věd ČR, Informační společnost (Národní program výzkumu)
VytisknoutZobrazeno: 3. 7. 2020 23:35