. "Rio de Janeiro" . . "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 Buchi automata." . . "RIV/00216224:14330/09:00065777!RIV14-MSM-14330___" . "0302-9743" . "2009-01-01+01:00"^^ . "Brim, Lubo\u0161" . "3"^^ . . "3"^^ . "A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties"@en . "Formal Methods and Software Engineering" . . . "000280073000021" . "P(1ET400300504), P(1ET408050503), P(GA201/09/1389), P(GP201/09/P497), Z(MSM0021622419)" . . . "RIV/00216224:14330/09:00065777" . "A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties" . . "Ro\u010Dkai, Petr" . "A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties"@en . "Germany" . . "[C199F42C58FC]" . . "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 Buchi automata."@en . "A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties" . "301637" . . . . . . "19"^^ . "10.1007/978-3-642-10373-5_21" . . . . "Barnat, Ji\u0159\u00ED" . "Springer-Verlag. (Berlin; Heidelberg)" . . "on-the-fly; parallel; LTL Model Checking"@en . . . "14330" . . "9783642103728" .