Showing cs.PLShow all
3 papers · 1 filter
cs.PL2021
Stateless Model Checking under a Reads-Value-From Equivalence
Pratyush Agarwal, Krishnendu Chatterjee, Shreya Pathak +2
Stateless model checking (SMC) is one of the standard approaches to the verification of concurrent programs. As scheduling non-determinism creates exponentially large spaces of thr…
cs.PL2020
The Reads-From Equivalence for the TSO and PSO Memory Models
Truc Lam Bui, Krishnendu Chatterjee, Tushar Gautam +2
The verification of concurrent programs remains an open challenge due to the non-determinism in inter-process communication. One algorithmic problem in this challenge is the consis…
cs.PL2019
Value-centric Dynamic Partial Order Reduction
Krishnendu Chatterjee, Andreas Pavlogiannis, Viktor Toman
The verification of concurrent programs remains an open challenge, as thread interaction has to be accounted for, which leads to state-space explosion. Stateless model checking bat…