Technology

Verificação formal

Uso de lógica e demonstrações assistidas para verificar sistemas.Começar pela história ↓

Especificações e provas matemáticas podem mostrar que certas classes de erro não ocorrem em um programa ou circuito.

POR QUE ISSO IMPORTA PARA VOCÊ?

É aplicada a software, hardware, protocolos e sistemas de alta segurança.

VEJA AS CONEXÕES

Toque em um ponto para descobrir o que veio antes, o que nasceu depois e onde esse conhecimento aparece.

SE QUISER SE PREPARAR

Você pode começar por aqui.

DEPOIS DE ENTENDER ISTO

Novas conexões serão acrescentadas.

NO MUNDO E NA HISTÓRIA

Explore as relações no mapa acima.

AULAS RELACIONADAS

Este nó já integra o mapa. Uma aula dedicada poderá ser vinculada depois.