Verificação formal: historial de revisões

15 de abril de 2020

• atuant 14h28min14h28min de 15 de abril de 2020‎ 144.64.50.163 discussão‎ 2 027 bytes 0‎ Corrigido "A verificação formal pode ser usado" desfazer Etiqueta: Editor Visual

4 de fevereiro de 2020

• atuant 19h28min19h28min de 4 de fevereiro de 2020‎ Tuga1143 discussão contribs‎ m 2 027 bytes −4‎ Substituição de predefinições obsoletas desfazer

24 de fevereiro de 2015

• atuant 01h11min01h11min de 24 de fevereiro de 2015‎ Marlonwc2 discussão contribs‎ 2 031 bytes +2‎ desfazer
• atuant 01h08min01h08min de 24 de fevereiro de 2015‎ Marlonwc2 discussão contribs‎ 2 029 bytes +11‎ →‎Abordagens desfazer Etiqueta: Editor Visual
• atuant 01h06min01h06min de 24 de fevereiro de 2015‎ Marlonwc2 discussão contribs‎ 2 018 bytes +5‎ →‎Uso desfazer

28 de março de 2013

• atuant 04h31min04h31min de 28 de março de 2013‎ KLBot2 discussão contribs‎ m 2 013 bytes −504‎ Bot: A migrar 17 interwikis, agora providenciados por Wikidata em d:Q173326 desfazer

27 de dezembro de 2010

• atuant 12h58min12h58min de 27 de dezembro de 2010‎ Luckas-bot discussão contribs‎ m 2 517 bytes +41‎ r2.5.2) (Bot: Adicionando: el:Τυπική επαλήθευση desfazer

21 de novembro de 2010

• atuant 13h13min13h13min de 21 de novembro de 2010‎ Xqbot discussão contribs‎ m 2 476 bytes +6‎ Bot: Modificando: uk:Формальна верифікація; mudanças triviais desfazer

2 de abril de 2010

• atuant 04h34min04h34min de 2 de abril de 2010‎ Pcgomes discussão contribs‎ m 2 470 bytes +30‎ Adicionando ligação para Verificação de Modelos desfazer

13 de novembro de 2009

• atuant 10h49min10h49min de 13 de novembro de 2009‎ JAnDbot discussão contribs‎ m 2 440 bytes +19‎ Bot: Modificando: uk:Верифікація формальна desfazer

4 de outubro de 2009

• atuant 17h34min17h34min de 4 de outubro de 2009‎ 201.5.64.18 discussão‎ 2 421 bytes −11‎ →‎Uso desfazer

5 de março de 2009

• atuant 12h05min12h05min de 5 de março de 2009‎ LaaknorBot discussão contribs‎ m 2 432 bytes +35‎ Bot: Adicionando: da:Verifikation (bekræftelse) desfazer

20 de novembro de 2008

• atuant 05h54min05h54min de 20 de novembro de 2008‎ Leonardo.stabile discussão contribs‎ 2 397 bytes +1‎ desfazer
• atuant 05h53min05h53min de 20 de novembro de 2008‎ Leonardo.stabile discussão contribs‎ 2 396 bytes +2 396‎ ← nova página: '''Verificação formal''' é a prova matemática da conformidade um algoritmo a certa especificação formal ou propriedade, usando métodos formais....