Encontrado 1 documento, a visualizar página 1 de 1

Bounded Model Checking de programas imperativos

Dissertação de mestrado em Matemática e Computação ; A detecção de erros em sistemas computacionais, em particular em sistemas críticos, é uma tarefa fundamental para garantir o correcto funcionamento dos sistemas e, por este motivo, a verificação formal é um elemento primordial no desenvolvimento de sistemas computacionais. Muitas das técnicas de verificação formal de sistemas computacionais são baseadas em M...