research
∙
07/29/2023
Tailoring Stateless Model Checking for Event-Driven Multi-Threaded Programs
Event-driven multi-threaded programming is an important idiom for struct...
share
research
∙
08/19/2022
Awaiting for Godot: Stateless Model Checking that Avoids Executions where Nothing Happens
Stateless Model Checking (SMC) is a verification technique for concurren...
research
∙
08/02/2018
