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.
A. van Lamsweerde. ICSE '00: Proceedings of the Conference on The Future of Software Engineering, стр. 147--159. New York, NY, USA, ACM, (2000)MR: Wertvoll wegen dem Überblick über formale Spezifikations- und somit Modell-Paradigmen..