DiVinE Multi-Core - A Parallel LTL Model-Checker.

Jiri Barnat, Lubos Brim, Petr Rockai

Browse the full ATVA paper archive.