1 |
MathWorks [Internet]. PolySpace Code Prover, http://www.mathworks.fr/products/polyspace-code-prover/.
|
2 |
N. Thuy, A. Ourghanlian, Dependability Assessment of safety-critical system software by static analysis methods, in: Proceedings of 2003 International Conference on Dependable Systems and Network (DSN 2003), 22-25 June, 2003. San Francisco, CA, USA.
|
3 |
AbsInt [Internet]. Astree Run-Time Error Analyzer, http://www.absint.de/astree.
|
4 |
Frama-C [Internet]. Value plug-in presentation, http://frama-c.com/value.html.
|
5 |
P. Couzot, R. Couzot, Abstract Interpretation: a unified lattice model for static analysis of programs by construction or approximation of fix points, in: Proceedings of the Sixth Annual ACM SIGPLAN-SIGACT Symposium, 1977. Los Angeles, CA.
|