Sciweavers

Share
ICFEM
2009
Springer

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

10 years 2 months ago
A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties
One of the most important open problems of parallel LTL model-checking is to design an on-the-fly scalable parallel algorithm with linear time complexity. Such an algorithm would give the optimality we have in sequential LTL model-checking. In this paper we give a partial solution to the problem. We propose an algorithm that has the required properties for a very rich subset of LTL properties, namely those expressible by weak B
Jiri Barnat, Lubos Brim, Petr Rockai
Added 19 Feb 2011
Updated 19 Feb 2011
Type Journal
Year 2009
Where ICFEM
Authors Jiri Barnat, Lubos Brim, Petr Rockai
Comments (0)
books