ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems

Varování

Publikace nespadá pod Pedagogickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Název česky	ProbDiVinE-MC: Ověřování modelu LTL pravděpodobnostních systémů na vícejádrových strojích
Autoři	BARNAT Jiří BRIM Luboš ČERNÁ Ivana ČEŠKA Milan TŮMOVÁ Jana
Rok publikování	2008
Druh	Článek ve sborníku
Konference	QEST '08: Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Obor	Informatika
Klíčová slova	LTL Model Checking; Multi-core CPU; Probabilistic systems
Popis	Je představena nová verze nástroje probdivine, který umožňuje verifikovat pravděpodobnostní systémy na vlastnosti specifokované pomocí LTL. Narozdíl od předchozí verze, nástroj umožňuje provádět kvalitativní i kvantitativní verifikaci pravděpodobnostních systémů a to na systémech osazených vícejadernými procesory.
Související projekty:	Techniky automatické verifikace a validace softwarových a hardwarových systémů Institut Teoretické Informatiky Automatizovaná verifikace softwaru