Avionic Software Verification by Abstract Interpretation.

Patrick Cousot

Browse the full ISoLA paper archive.