85 citations · 262 across the 21 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.LO2013★ 30 cited
Parameterized Verification of Asynchronous Shared-Memory Systems
Javier Esparza, Pierre Ganty, Rupak Majumdar
We characterize the complexity of the safety verification problem for parameterized systems consisting of a leader process and arbitrarily many anonymous and identical contributors…
cs.LO2013★ 16 cited
Proving Termination Starting from the End
Pierre Ganty, Samir Genaim
We present a novel technique for proving program termination which introduces a new dimension of modularity. Existing techniques use the program to incrementally construct a termin…