Desenvolvimento de um sistema ou parte de um sistema onde a transformação de uma representação para outra é matematicamente comprovada, ou demonstrado ser coerente por um argumento de valor equivalente.