Login / Signup
On the Monniaux Problem in Abstract Interpretation.
Nathanaël Fijalkow
Engel Lefaucheux
Pierre Ohlmann
Joël Ouaknine
Amaury Pouly
James Worrell
Published in:
CoRR (2019)
Keyphrases
</>
abstract interpretation
termination analysis
static analysis
model checking
reasoning engine
active rules
active databases
dynamic analysis
software engineering
source code
logic programs