Correctheidsbewijzen

Moderators: jkien, Xilvo

Reageer
Berichten: 228

Correctheidsbewijzen

Hey,

even een vraagje over correctheidsbewijzen van algoritmes.

Als je het correctheidsbewijs moet opstellen voor 2 (of meerdere) while lussen die in elkaar genest zijn, moet je dan een invariant bepalen voor het geheel alleen, of ook nog een aparte invariant voor de geneste lus?

Berichten: 202

Re: Correctheidsbewijzen

Voor elke lus.

Berichten: 228

Re: Correctheidsbewijzen

merci

Gebruikersavatar
Lorentziaan
Berichten: 5.079

Re: Correctheidsbewijzen

Voor de buitenste lus mag je aannemen dat als voor de aanroep de preconditie geldt dan moet na de aanroep de postconditie geldig zijn, maw je kunt de binnenste lus beschouwen als een procedure aanroep. Je moet daarom beide afzonderlijk bewijzen.
Any sufficiently analyzed magic is indistinguishable from science.

Any sufficiently advanced technology is indistinguishable from magic.



There is no theory of protecting content other than keeping secrets – Steve Jobs

Reageer