Content deleted Content added
reworded part of a confusing sentence |
→Formal methods: either [...], either -> "either [...], or" |
||
Line 12:
There exist two main families of formal static analysis:
* [[model checking]] considers systems that have [[finite state]] or may be reduced to finite state by [[abstraction (computer science)]];
* static analysis by [[abstract interpretation]] approximates the behavior of the system, either from above (considering more behaviors than can happen in reality),
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.
| |||