Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking.

Lubos Brim, Ivana Cern, Pavel Moravec, Jir Simsa

Browse the full FMCAD paper archive.