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?
-
velgrem1989
- Artikelen: 0
- Berichten: 228
- Lid geworden op: di 27 nov 2007, 20:51
-
meijuh
- Artikelen: 0
- Berichten: 202
- Lid geworden op: ma 20 nov 2006, 21:11
Re: Correctheidsbewijzen
Voor elke lus.
-
velgrem1989
- Artikelen: 0
- Berichten: 228
- Lid geworden op: di 27 nov 2007, 20:51
Re: Correctheidsbewijzen
merci
-
qrnlk
- Lorentziaan
- Artikelen: 0
- Berichten: 5.079
- Lid geworden op: vr 14 jul 2006, 14:35
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
Any sufficiently advanced technology is indistinguishable from magic.
There is no theory of protecting content other than keeping secrets Steve Jobs
