View Categories

Formal Methods

< 1 min read

Formal methods are mathematical techniques for the specification, development and verification of software and hardware. The use of these mathematical technics contributes to the reliability and robustness of the software and hardware.

en_USEnglish