A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties.

Jiri Barnat, Lubos Brim, Petr Rockai

Browse the full ICFEM paper archive.