Metadata
Author: WikiMatrix
Data
Bulgarian[bg]
Използването на формална логика за изработка на дизайн на софтуер и хардуер е мотивирана от очакването, че както и в други инженерните специалности, извършване на подходящия математически анализ може да допринесе за надеждността и устойчивостта на дизайна.
Portuguese[pt]
O uso de métodos formais para design de software e hardware é motivado pela expectativa de que, como em outras disciplinas da engenharia, executando análise matemática adequada pode contribuir para a confiabilidade e robustez de um projeto.