Multi-threaded Explicit State Space Exploration with State Reconstruction.

Sami Evangelista, Lars Michael Kristensen, Laure Petrucci

Browse the full ATVA paper archive.