Formal methods
label: Método formal @es
label: Metody formalne @pl
label: Metodi formali @it
label: Metode formal @in
label: 形式化方法 @zh
label: طريقة شكلية @ar
label: Formella metoder @sv
label: Formale Methode @de
label: Формальні методи @uk
label: 정형 기법 @ko
label: Formele methoden @nl
label: 形式手法 @ja
label: Méthode formelle (informatique) @fr
label: Metodo formalak @eu
label: Métodos formais @pt
label: Формальные методы @ru
subject: Category:Theoretical computer science
subject: Category:Software development philosophies
subject: Category:Specification languages
subject: Category:Formal methods
bot: InternetArchiveBot
fix attempted: yes
description: mathematical program specification intended to allow correctness proofs, including algorithmically
description: techniques de raisonnement mathématique sur des programmes ou du matériel informatique @fr
description: специфікація математичної програми, техніка математичних міркувань, призначена для підтвердження правильності, в тому числі алгоритмічно @uk
description: insieme di tecniche matematicamente rigorose per la specifica, sviluppo e verifica di sistemi software e hardware @it
date: November 2022
date: 2012-06-08
url: https://web.archive.org/web/20120608063125/http:/www.deploy-project.eu/
hypernym: Kind