sémantique axiomatique
Sign in to saveapproach based on mathematical logic for proving the correctness of computer programs; closely related to Hoare logic; define the meaning of a command in a program by describing its effect on assertions about the program state
Article · Français
La sémantique axiomatique est une approche basée sur la logique mathématique qui sert à prouver qu'un programme informatique est correct.
Abstract from DBpedia / Wikipedia · CC BY-SA