Formal methods (Computer science) (Topical Term)

Work cat.: 99-29060: International Conference on Integrated Formal Methods, 1999.

ASTI (hdg.: Formal methods)

Encyc. computer sci. (Formal methods used in developing and verifying software and hardware are mathematically-based techniques for describing and reasoning about system properties. Such formal methods provide frameworks within which people specify, develop, and verify systems in a systematic, rather than ad hoc, manner. Formal methods include the more specific activities of program specification, program verification and hardware verification.)

Yahoo, May 6, 1999 (category: Science: Computer science: Formal methods)