1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.PL2016★ 1 cited
Sound Static Deadlock Analysis for C/Pthreads (Extended Version)
Daniel Kroening, Daniel Poetzl, Peter Schrammel +1
We present a static deadlock analysis approach for C/pthreads. The design of our method has been guided by the requirement to analyse real-world code. Our approach is sound (i.e.,…
cs.LO2014
AbPress: Flexing Partial-Order Reduction and Abstraction
Daniel Kroening, Subodh Sharma, Björn Wachter
Partial-order reduction (POR) and lazy abstraction with interpolants are two complementary techniques that have been successfully employed to make model checking tools for concurre…
cs.FL2014
Stability and Complexity of Minimising Probabilistic Automata
Stefan Kiefer, Björn Wachter
We consider the state-minimisation problem for weighted and probabilistic automata. We provide a numerically stable polynomial-time minimisation algorithm for weighted automata, wi…