On the Monniaux Problem in abstract interpretation
The Monniaux Problem in abstract interpretation asks, roughly speaking, whether the following question is decidable: given a program P, a safety (e.g., non-reachability) specification ϕ, and an abstract domain of invariants D, does there exist an inductive invariant I in D guaranteeing that program...
| Main Authors: | , , , , , |
|---|---|
| Format: | Conference item |
| Published: |
Springer
2019
|