MÉTODO IMPLEMENTADO POR COMPUTADOR PARA AVALIAR UM SISTEMA AEROESPACIAL, SISTEMA DE PROCESSAMENTO DE DADOS, E, MEIO LEGÍVEL POR COMPUTADOR

IPC Classification

Priority claims

Abstract

MÉTODO IMPLEMENTADO POR COMPUTADOR PARA AVALIAR UM SISTEMA AEROESPACIAL, SISTEMA DE PROCESSAMENTO DE DADOS, E, MEIO LEGÍVEL POR COMPUTADOR Um método implementado por computador para a avaliação de um sistema aeroespacial compreende etapas de fornecimento de um modelo do sistema aeroespacial, em que o dito modelo compreende um modelo de sistema híbrido com um espaço de estado, fornecimento de uma fórmula temporal que corresponde a uma sequência desejada de partições do espaço de estado e tentativa de falsificação de um complemento lógico da fórmula temporal com relação ao modelo.