Login / Signup

AProVE: Modular Termination Analysis of Memory-Manipulating C Programs.

Frank EmrichJera HenselJürgen Giesl
Published in: CoRR (2023)
Keyphrases
  • termination analysis
  • abstract interpretation
  • active rules
  • active databases
  • control flow
  • knowledge base
  • model checking
  • static analysis
  • database
  • query processing
  • object oriented databases