Salve ragazzi, pur avendo fatto alcune ricerche su internet non riesco ancora a capire bene la tripla di Hoare. Ho capito che serve per formalizzare la correttezza di un programma, solo che il prof ci ha assegnato, nel progetto, questa consegna:
Verifica del programma: scegliere una sequenza di almeno tre istruzioni di senso compiuto all'interno del programma e verificarne formalmente la correttezza tramite triple di Hoare
e mi trovo un po sperduto. Qualcuno può darmi qualche dritta?
PS ho postato qui perchè comunque il codice sviluppato è in c, ma nel caso avessi sbagliato ditemelo!
|