Periodic Table
Elements A to Z
Definition of formal methods
vigorous,
discrete
mathematical approach for the
process
of specifying, designing, and verifying circuits and systems. [1994 National Technology
Roadmap
for Semiconductors]
Search the Dictionary
