Equational Abstraction Refinement for Certified Tree Regular Model Checking.

Yohan Boichut, Benot Boyer, Thomas Genet, Axel Legay

Browse the full ICFEM paper archive.