85 citations · 262 across the 21 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.LO2015★ 1 cited
Decomposition by tree dimension in Horn clause verification
Bishoksan Kafle, John P. Gallagher, Pierre Ganty
In this paper we investigate the use of the concept of tree dimension in Horn clause analysis and verification. The dimension of a tree is a measure of its non-linearity - for exam…
cs.DC2015★ 3 cited
Model Checking Parameterized Asynchronous Shared-Memory Systems
Antoine Durand-Gasselin, Javier Esparza, Pierre Ganty +1
We characterize the complexity of liveness verification for parameterized systems consisting of a leader process and arbitrarily many anonymous and identical contributor processes.…