Login / Signup

Tailoring Stateless Model Checking for Event-Driven Multi-Threaded Programs.

Parosh Aziz AbdullaMohamed Faouzi AtigFrederik Meyer BønnelandSarbojit DasBengt JonssonMagnus LångKonstantinos Sagonas
Published in: CoRR (2023)
Keyphrases