Category:Formal methods

From Wikimedia Commons, the free media repository
Jump to navigation Jump to search
método formal (es); 形式化方法 (yue); méthode formelle (fr); Metodo formalak (eu); Формальные методы (ru); Kaedah formal (ms); Формалне методе (sr); Formale Methode (de); métodos formais (pt); أساليب رسمية (ar); روش‌های صوری (fa); 形式化方法 (zh); Formalūs metodai (lt); Biçimsel yöntemler (tr); 形式手法 (ja); Metoda formal (id); Формальні методи (uk); formella metoder (sv); metody formalne (pl); מתודות פורמליות (he); formele methoden (nl); 形式化方法 (zh-hant); 形式化方法 (zh-hk); Các phương pháp hình thức (vi); 정형 기법 (ko); formal methods (en); formala metodo (eo); 形式化方法 (zh-hans); metodo formale (it) mathematical program specification intended to allow correctness proofs, including algorithmically (en); nouvelle logiciel pour informatique (fr); insieme di tecniche matematicamente rigorose per la specifica, sviluppo e verifica di sistemi software e hardware (it) metodi formali (it); 形式的手法, フォーマルメソッド (ja); méthodes formelles, methode formelle (fr); formele methode (nl); Formale Methoden (de); 형식수법, 형식 수법, 정형기법 (ko); Método formal (pt); روش های صوری, توابع رسمی, توابع صوری, روش های رسمی (fa); 形式方法 (zh); Métodos formales, Metodo formal, Metodos formales (es)
formal methods 
mathematical program specification intended to allow correctness proofs, including algorithmically
Upload media
Wikipedia-logo-v2.svg  Wikipedia
Subclass ofmethod
Based on
Authority control
Edit infobox data on Wikidata

Subcategories

This category has the following 11 subcategories, out of 11 total.

Media in category "Formal methods"

The following 23 files are in this category, out of 23 total.