2 citations · 3 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2016★ 2 cited
Towards linking correctness conditions for concurrent objects and contextual trace refinement
Brijesh Dongol, Lindsay Groves
Correctness conditions for concurrent objects describe how atomicity of an abstract sequential object may be decomposed. Many different concurrent objects and proof methods for the…
cs.LO2015★ 1 cited
Collapsing Threads Safely with Soft Invariants
David Friggens, Lindsay Groves
Canonical abstraction is a static analysis technique that represents states as 3-valued logical structures, and produces finite abstract systems. Despite providing a finite bound,…