4 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.PL2014★ 1 cited
Lost in Abstraction: Monotonicity in Multi-Threaded Programs (Extended Technical Report)
Alexander Kaiser, Daniel Kroening, Thomas Wahl
Monotonicity in concurrent systems stipulates that, in any global state, extant system actions remain executable when new processes are added to the state. This concept is not only…
cs.PL2011★ 4 cited
Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs (Extended Technical Report)
Alastair Donaldson, Alexander Kaiser, Daniel Kroening +1
Predicate abstraction is a key enabling technology for applying finite-state model checkers to programs written in mainstream languages. It has been used very successfully for debu…