Equivalence-Based Abstraction Refinement for \mu HORS Model Checking.

Xin Li, Naoki Kobayashi

Browse the full ATVA paper archive.