Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking.

Muhammad Osama, Anton Wijs

Browse the full TACAS paper archive.