Calculational Design of a Regular Model Checker by Abstract Interpretation.

Patrick Cousot

Browse the full ICTAC paper archive.