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.
P. Schmitt, and I. Tonin. Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), page 47--58. IEEE Computer Society, (2007)
A. Belinfante. Tools and Algorithms for the Construction and Analysis of Systems, 2010, volume 6015 of Lecture Notes in Computer Science, page 266-270. Springer, (2010)
M. van der Bijl, and F. Peureux. Model-Based Testing of Reactive Systems, volume 3472 of Lecture Notes in Computer Science, page 173-200. Springer, (2004)