SAT-based State Justification with Adaptive Mining of Invariants.

Weixin Wu, Michael S. Hsiao

Browse the full ITC paper archive.