4 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.PL2023
Petrification: Software Model Checking for Programs with Dynamic Thread Management (Extended Version)
Matthias Heizmann, Dominik Klumpp, Frank Schüssele +1
We address the verification problem for concurrent program that dynamically create (fork) new threads or destroy (join) existing threads. We present a reduction to the verification…
cs.LO2014★ 4 cited
Geometric Series as Nontermination Arguments for Linear Lasso Programs
Jan Leike, Matthias Heizmann
We present a new kind of nontermination argument for linear lasso programs, called geometric nontermination argument. A geometric nontermination argument is a finite representation…