La logique de Hoare - LaBRI
Le but de la logique de Hoare est de formaliser la preuve de la correction des
programmes. Rappelons que notre souhait est de prouver des choses du type :.
Le but de la logique de Hoare est de formaliser la preuve de la correction des
programmes. Rappelons que notre souhait est de prouver des choses du type :.