Possibly Related Publications

The following publications are possibly variants of this publication:

• Distributed LTL Model Checking Based on Negative Cycle DetectionLubos Brim, Ivana Cerná, Pavel Krcál, Radek Pelánek. fsttcs 2001: 96-107 [doi]
• Distributed LTL Model-Checking in SPINJiri Barnat, Lubos Brim, Jitka Stríbrná. spin 2001: 200-216 [doi]
• Scalable shared memory LTL model checkingJiri Barnat, Lubos Brim, Petr Rockai. STTT, 12(2):139-153, 2010. [doi]
• Flash memory efficient LTL model checkingStefan Edelkamp, Damian Sulewski, Jiri Barnat, Lubos Brim, Pavel Simecek. SCP, 76(2):136-157, 2011. [doi]
• Parallel Breadth-First Search LTL Model-CheckingJiri Barnat, Lubos Brim, Jakub Chaloupka. ASE 2003: 106-115 [doi]
• Distributed breadth-first search LTL model checkingJiri Barnat, Ivana Cerná. fmsd, 29(2):117-134, 2006. [doi]
• A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL PropertiesJiri Barnat, Lubos Brim, Petr Rockai. icfem 2009: 407-425 [doi]
• Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-CheckingLubos Brim, Ivana Cerná, Pavel Moravec 0002, Jirí Simsa. FMCAD 2004: 352-366 [doi]