Sign in

Predicate Abstraction in Program Verification: Survey and Current Trends.

Jakub DanielPavel Parízek
Published in: ICCSW (2014)
Keyphrases
  • current trends
  • future directions
  • artificial intelligence
  • health sciences
  • high level
  • evolutionary algorithm
  • data collection
  • neural network
  • first order logic
  • lessons learned
  • logic rules