search

CompSciCabal / SMRTYPRTY

We read computer science books for fun. This is where the secret notes live.
The Unlicense
77 stars 11 forks source link

Abstract interpretation based formal methods and future challenges #67

Closed bcdarwin closed 7 years ago

bcdarwin commented 7 years ago

https://www.di.ens.fr/~cousot/publications.www/Cousot-LNCS2000-sv-sb.pdf

bcdarwin commented 7 years ago

Extended online version with comparison to types, etc.: https://www.di.ens.fr/~cousot/COUSOTpapers/publications.www/Cousot-Dagstuhl-2000-lg.pdf