Sciweavers

Share
QEST
2008
IEEE

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

8 years 8 months ago
ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems
We present a new version of PROBDIVINE – a parallel tool for verification of probabilistic systems against properties formulated in linear temporal logic. Unlike the previous release [1], the new version of the tool allows for both quantitative and qualitative model-checking. It is also strictly multi-threaded, therefore, protects users from unwanted burden of parallel computing in a distributedmemory environment.
Jiri Barnat, Lubos Brim, Ivana Cerná, Milan
Added 01 Jun 2010
Updated 01 Jun 2010
Type Conference
Year 2008
Where QEST
Authors Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova
Comments (0)
books