APPL, Jiří, Jiří BARNAT, Luboš BRIM, Ivana ČERNÁ, Milan ČEŠKA a Jana TŮMOVÁ. ProbDiVinE 2.0. 2010.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název ProbDiVinE 2.0
Název česky ProbDiVinE 2.0
Autoři APPL, Jiří (203 Česká republika, domácí), Jiří BARNAT (203 Česká republika, domácí), Luboš BRIM (203 Česká republika, domácí), Ivana ČERNÁ (203 Česká republika, garant, domácí), Milan ČEŠKA (203 Česká republika, domácí) a Jana TŮMOVÁ (203 Česká republika, domácí).
Vydání 2010.
Další údaje
Originální 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í
WWW Tool for Distributed Quantitative Verification of Linear Time Properties of Probabilistic Models
Kód RIV RIV/00216224:14330/10:00049375
Organizační jednotka Fakulta informatiky
Klíčová slova česky divine; distribuovaný; pravděpodobnostní; kvantitativní; model checking; ltl
Klíčová slova anglicky divine; distributed; probabilistic; quantitative; model checking; ltl
Technické parametry Tool for Distributed Quantitative Verification of Linear Time Properties of Probabilistic Models
Změnil Změnil: Mgr. Jiří Appl, učo 207620. Změněno: 29. 4. 2011 14:56.
Anotace
Tool for Distributed Quantitative Verification of Linear Time Properties of Probabilistic Models.
Anotace česky
Nástroj pro distribuovanou kvantitativní verifikaci vlastností lineárního času pravděpodobnostních modelů.
Návaznosti
GA201/09/1389, projekt VaVNázev: Verifikace a analýza velmi velkých počítačových systémů
Investor: Grantová agentura ČR, Verifikace a analýza velmi velkých počítačových systémů
VytisknoutZobrazeno: 13. 5. 2024 15:37