česky | in English
Název anglicky: Property Driven Distribution of Nested DFS
RIV/00216224:14330/02:00006603 Stať ve sborníku. Informatika. angličtina. Velká Británie a Severní Irsko.
Barnat, Jiří (203 Česká republika) -- Brim, Luboš (203 Česká republika, garant) -- Černá, Ivana (203 Česká republika)
Klíčová slova anglicky: model-checking; distributed model-checking; verification; verification tool
Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 22. 11. 2006 16:02.
Název anglicky: Using verified property to partition the state space in LTL model-checking
RIV/00216224:14330/02:00006604 Stať ve sborníku. Informatika. angličtina. Francie.
Barnat, Jiří (203 Česká republika, garant)
Klíčová slova anglicky: model-checking; distributed model-checking; verification
Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 22. 11. 2006 16:01.