Category:Formal methods

<nowiki>método formal; 形式化方法; Formális módszerek; Metodo formalak; Kaedah formal; Formale Methode; фармальныя метады; روش‌های صوری; 形式化方法; Biçimsel yöntemler; 形式化方法; formella metoder; Формальні методи; 形式化方法; 정형 기법; formala metodo; metodo formale; méthode formelle; фармальныя мэтады; métodos formais; Formalūs metodai; Metoda formal; metody formalne; formelle metoder; formele methoden; מתודות פורמליות; Các phương pháp hình thức; Формальные методы; 形式手法; formal methods; أساليب رسمية; 形式化方法; Формалне методе; mathematical program specification intended to allow correctness proofs, including algorithmically; insieme di tecniche matematicamente rigorose per la specifica, sviluppo e verifica di sistemi software e hardware; matematisk programspesifikasjon ment å tillate korrekthetsbevis, inkludert algoritmisk; Techniques de raisonnement mathématique sur des programmes ou du matériel informatique; Métodos formales; Metodo formal; Metodos formales; 形式的手法; フォーマルメソッド; méthodes formelles; methode formelle; фармальны мэтад; שיטות פורמליות; formele methode; Formale Methoden; 형식수법; 형식 수법; 정형기법; Método formal; روش های صوری; توابع رسمی; توابع صوری; روش های رسمی; 形式方法; metodi formali</nowiki>