Login / Signup

CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses - (Competition Contribution).

Stefan LöweMikhail U. MandrykinPhilipp Wendler
Published in: TACAS (2014)
Keyphrases
  • databases
  • digital libraries
  • comparative analysis
  • real time
  • data mining
  • decision making
  • medical images