Hacker News
- Abstract Interpretation in a nutshell http://www.di.ens.fr/~cousot/ai/introabsint.html 2 comments compsci
- How the absence of runtime errors in the Airbus A340 primary flight control software was proved: abstract interpretation in a nutshell http://www.di.ens.fr/~cousot/ai/introabsint.html 49 comments programming
- Abstract Interpretation in a Nutshell - The theory behind the C code verifier for systems on the Airbus A340 and A380 written in OCaml http://www.astree.ens.fr/introabsint.html 3 comments programming