Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction.

Yungbum Jung Soonho Kong Bow-Yaw Wang Kwangkeun Yi

Published in: VMCAI (2010)

Keyphrases

decision procedures
learning algorithm
supervised learning
background knowledge
theorem proving