10 citations · 44 across the 15 of their papers we have counts for
1 paper · 1 filter
Nathanaël Fijalkow, Engel Lefaucheux, Pierre Ohlmann +3
The Monniaux Problem in abstract interpretation asks, roughly speaking, whether the following question is decidable: given a program P, a safety (\emph{e.g.}, non-reachability) s…