Export Citations
1 Results for: Author: Das, Sarbojit
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,749,213 records)|Limit your search to The ACM Full-Text Collection (755,629 records)
- ArticleOctober 2023
Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs
- Parosh Aziz Abdulla,
- Mohamed Faouzi Atig,
- Frederik Meyer Bønneland,
- Sarbojit Das,
- Bengt Jonsson,
- Magnus Lång,
- Konstantinos Sagonas
Automated Technology for Verification and AnalysisOct 2023, Pages 176–198https://doi.org/10.1007/978-3-031-45332-8_9AbstractEvent-driven multi-threaded programming is an important idiom for structuring concurrent computations. Stateless Model Checking (SMC) is an effective verification technique for multi-threaded programs, especially when coupled with Dynamic Partial ...