Hacker-proof coding

Abstract

Software verification helps find the faults, preventing hacks.

References

1. Shao, Z. Certified Software, Communications of the ACM, 53(12), pages 56-66, December 2010
2. Serna-M. E., and Morales-V. D. State of the Art in the Research of Formal Verifcation, Ingeniería, Investigación y Tecnología, Oct.-Dec. 2014, pgs. 615-623. Volume 15, Issue 4.
3. D¿Silva, V., Kroening, D., and Weissenbacher, G. A Survey of Automated Techniques for Formal Software Verifcation, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, July 2008, Vol. 27, No. 7.
4. Souyris, J., Wiels, V., Delmas, D., and Delseny, H. Formal Verifcation of Avionics Software Products, FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, Nov. 2-6, 2009, Proceedings, pp. 532-546
5. Hoare, T. The Verifying Compiler: A Grand Challenge for Computing Research. In: Hedin G. (eds) Compiler Construction. CC 2003. Lecture Notes in Computer Science, 2003, vol 2622. Springer, Berlin, Heidelberg

Index Terms

• Software and its engineering

  • Software organization and properties

    • Software functional properties

      • Formal methods

        • Software verification