Parallel Nested Depth-First Searches for LTL Model Checking.

Sami Evangelista, Laure Petrucci, Samir Youcef

Browse the full ATVA paper archive.