Definição:A semântica axiomática é um método formal que descreve o comportamento de programas por meio de propriedades lógicas, em vez de execução passo a passo ou mapeamento matemático.
Baseia-se em axiomas e regras de inferência para provar propriedades de programas, como correção e segurança.
Diferente da operacional, que foca em execução, e da denotacional, que foca no significado matemático, a axiomática foca em garantir que o programa cumpre certas especificações.