Login / Signup

Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems.

Javier EsparzaStefan KieferStefan Schwoon
Published in: TACAS (2006)
Keyphrases
  • high level
  • management system
  • computer systems
  • building blocks
  • complex systems
  • databases
  • social networks
  • case study
  • evolutionary algorithm
  • intelligent systems
  • knowledge based systems
  • learning systems