Login / Signup

Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution).

Marius GreitschusDaniel DietschMatthias HeizmannAlexander NutzClaus SchätzleChristian SchillingFrank SchüsseleAndreas Podelski
Published in: TACAS (2) (2017)
Keyphrases
  • abstract interpretation
  • termination analysis
  • static analysis
  • model checking
  • reasoning engine
  • active rules
  • high level
  • active databases
  • knowledge base
  • data model
  • data warehouse
  • dynamic analysis