Category:Formal methods

From Wikimedia Commons, the free media repository
Jump to navigation Jump to search
metodo formale (it); 形式化方法 (yue); méthode formelle (fr); Формальные методы (ru); Metodo formalak (eu); método formal (es); أساليب رسمية (ar); Kaedah formal (ms); Формалне методе (sr); Formale Methode (de); métodos formais (pt); фармальныя метады (be); روش‌های صوری (fa); 形式化方法 (zh); Formalūs metodai (lt); Biçimsel yöntemler (tr); 形式手法 (ja); Metoda formal (id); 形式化方法 (zh-hk); formella metoder (sv); metody formalne (pl); מתודות פורמליות (he); formele methoden (nl); 形式化方法 (zh-hant); Các phương pháp hình thức (vi); Формальні методи (uk); 정형 기법 (ko); formal methods (en); formala metodo (eo); 形式化方法 (zh-hans); Formális módszerek (hu) mathematical program specification intended to allow correctness proofs, including algorithmically (en); Techniques de raisonnement mathématique sur des programmes ou du matériel 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); שיטות פורמליות (he); 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
Subclass of
  • method
Based on
Authority control
ReasonatorScholiaPetScanstatisticsWikiMapLocator toolKML fileSearch depicted
Edit infobox data on Wikidata

Subcategories

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

Media in category "Formal methods"

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