Static program analysis: Difference between revisions

Revision as of 13:42, 10 April 2004

Revision as of 07:47, 16 April 2004

Line 15:

Interest in the development of static analysis tools, especially for use on [[safety-critical computer system]]s, was renewed after the high profile disaster of [[Ariane 5 Flight 501]], when a space [[rocket]] exploded shortly after launch due to a [[computer bug]], surely one of the most expensive computer bugs in history.

===External links===

* [http://www.astree.ens.fr ASTRÉE project], with explanations on static analysis by abstract interpretation

===See also===

Line 58 ⟶ 55:

* [http://yunus.hun.edu.tr/~sencer/research.html information of software management]

* [http://citeseer.org/cs?q=static+and+code+and+analysis Citations from CiteSeer]

* [http://www.astree.ens.fr/ ASTRÉE project], with explanations on [[static analysis]] by [[abstract interpretation]]