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

Yungbum Jung, Soonho Kong, Bow-Yaw Wang, Kwangkeun Yi

Browse the full VMCAI paper archive.