Formal Methods

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