Método formal
Metody formalne
Metodi formali
Metode formal
形式化方法
طريقة شكلية
Formella metoder
Formale Methode
Формальні методи
정형 기법
Formele methoden
形式手法
Méthode formelle (informatique)
Metodo formalak
Métodos formais
Формальные методы
Formal methods
InternetArchiveBot
yes
mathematical program specification intended to allow correctness proofs, including algorithmically
techniques de raisonnement mathématique sur des programmes ou du matériel informatique
специфікація математичної програми, техніка математичних міркувань, призначена для підтвердження правильності, в тому числі алгоритмічно
insieme di tecniche matematicamente rigorose per la specifica, sviluppo e verifica di sistemi software e hardware
November 2022