Sign in
Sarbojit Das
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Temporal Properties
Transition Systems
Model Checking
Publish Subscribe
Top Venues
CoRR
ATVA
</>
Publications
</>
Parosh Aziz Abdulla
,
Mohamed Faouzi Atig
,
Frederik Meyer Bønneland
,
Sarbojit Das
,
Bengt Jonsson
,
Magnus Lång
,
Konstantinos Sagonas
Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs.
ATVA
(2023)
Parosh Aziz Abdulla
,
Mohamed Faouzi Atig
,
Frederik Meyer Bønneland
,
Sarbojit Das
,
Bengt Jonsson
,
Magnus Lång
,
Konstantinos Sagonas
Tailoring Stateless Model Checking for Event-Driven Multi-Threaded Programs.
CoRR
(2023)