formal methods (Q1049183)
mathematical program specification intended to allow correctness proofs, including algorithmically
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | formal methods |
mathematical program specification intended to allow correctness proofs, including algorithmically |
Statements
Formal methods
0 references
Identifiers
Sitelinks
Wikipedia(27 entries)
- arwiki طريقة شكلية
- azwiki Formal metodlar
- dewiki Formale Methode
- enwiki Formal methods
- eswiki Método formal
- euwiki Metodo formalak
- fawiki روشهای صوری
- frwiki Méthode formelle (informatique)
- huwiki Formális módszerek
- idwiki Metode formal
- itwiki Metodi formali
- jawiki 形式手法
- kowiki 정형 기법
- ltwiki Formalūs metodai
- mswiki Kaedah formal
- nlwiki Formele methoden
- plwiki Metody formalne
- ptwiki Métodos formais
- ruwiki Формальные методы
- sqwiki Metodat formale
- srwiki Формалне методе
- svwiki Formella metoder
- trwiki Biçimsel yöntemler
- ukwiki Формальні методи
- viwiki Các phương pháp hình thức
- zh_yuewiki 形式化方法
- zhwiki 形式化方法