Translation of "formal methods" into Spanish

métodos formales is the translation of "formal methods" into Spanish.

formal methods

Mathematically-based techniques for the specification, development and verification of software and hardware systems.

+ Add

English-Spanish dictionary

  • métodos formales

    Técnicas basadas en matemáticas para la especificación, el desarrollo y la verificación de sistemas de software y de hardware.

    Much work has been done on formal methods and on security evaluation criteria.

    Se ha trabajado mucho en métodos formales y en criterios de evaluación de la seguridad.

  • Show algorithmically generated translations

Automatic translations of "formal methods" into Spanish

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate
Add

Translations of "formal methods" into Spanish in sentences, translation memory