Magnus Lång | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Parosh Aziz Abdulla
10 publications
Mohamed Faouzi Atig
9 publications
Bengt Jonsson
3 publications
Konstantinos Sagonas
2 publications
Frederik Meyer Bønneland
2 publications
Sarbojit Das
1 publication

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...

0 Parosh Aziz Abdulla, et al. ∙

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...

0 Bengt Jonsson, et al. ∙

Success!

An error occurred