Definition of formal methods

1. vigorous, discrete mathematical approach for the process of specifying, designing, and verifying circuits and systems. [1994 National Technology Roadmap for Semiconductors]