Formal methods (Computer science)
URI(s)
Broader Terms
Closely Matching Concepts from Other Schemes
Sources
found: Work cat.: 99-29060: International Conference on Integrated Formal Methods, 1999.
found: ASTI(hdg.: Formal methods)
found: 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.)
found: Yahoo, May 6, 1999(category: Science: Computer science: Formal methods)
LC Classification
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
1999-05-06: new
2000-01-31: revised
Alternate Formats