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