Correctheidsbewijzen
-
- 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?
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?
- 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
Any sufficiently advanced technology is indistinguishable from magic.
There is no theory of protecting content other than keeping secrets Steve Jobs