This document contains some pointers to information on Formal Methods, useful for mathematically describing and reasoning about computer-based systems, available around the world on the World Wide Web (WWW). Formal methods are a fault avoidance technique that help in the reduction of errors introduced into a system, particularly at the earlier stages of design. They complement fault removal techniques like testing.
M. de Miguel. Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003., page 210--216. IEEE, (January 2003)
M. de Miguel, P. Massonet, J. Silva, and J. Briones. 2008 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC), page 563--569. IEEE, (May 2008)
S. Zhang, and S. Goddard. International Conference on Information Technology: Coding and Computing, 2005. ITCC 2005, 2, page 443-- 448 Vol. 2. IEEE, (April 2005)
Y. Oh, D. Lee, S. Kang, and J. Lee. 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2007. MEMOCODE 2007, page 87--88. IEEE, (June 2007)