Login / Signup
Data Flow Analysis is Model Checking of Abstract Interpretations.
David A. Schmidt
Published in:
POPL (1998)
Keyphrases
</>
model checking
flow analysis
artificial intelligence
formal verification
transition systems
linear temporal logic
bounded model checking
abstract interpretation