česky | in English
Název česky: DiVinE 2.0
Název anglicky: DiVinE 2.0
RIV/00216224:14330/09:00028810 Software. Informatika. angličtina. Česká republika.
Ročkai, Petr (703 Slovensko, domácí) -- Barnat, Jiří (203 Česká republika, garant, domácí) -- Brim, Luboš (203 Česká republika, domácí) -- Češka, Milan (203 Česká republika, domácí)
Klíčová slova anglicky: parallel verification; multi-core; model-checking; cluster; mpi
Mezinárodní význam: ano
Změnil: RNDr. Petr Ročkai, Ph.D., učo 139761. Změněno: 18. 2. 2013 12:42.
Název česky: DiVinE Multi-Core
Název anglicky: DiVinE Multi-Core
RIV/00216224:14330/07:00019614 Software. Informatika. angličtina. Česká republika.
Barnat, Jiří (203 Česká republika) -- Brim, Luboš (203 Česká republika, garant) -- Ročkai, Petr (203 Česká republika)
Klíčová slova anglicky: parallel verification; multi-core architecture; model-checking
Mezinárodní význam: ano
Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 12. 2. 2009 09:41.
Název česky: Knihovna DiVinE
Název anglicky: DiVinE Library
RIV/00216224:14330/06:00024474 Software. Informatika. angličtina. Česká republika.
Barnat, Jiří (203 Česká republika) -- Brim, Luboš (203 Česká republika, garant) -- Černá, Ivana (203 Česká republika) -- Moravec, Pavel (203 Česká republika) -- Šimeček, Pavel (203 Česká republika) -- Chaloupka, Jakub (203 Česká republika)
Klíčová slova anglicky: parallel verification; LTL model-checking
Mezinárodní význam: ano
Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 2. 6. 2009 11:35.