Temaprøve 2 – Interval Property Checking og operasjonsegenskaper
2 timer
Invariant og lukkethetNåbar tilstandsmengde RInduksjonsbevisFra unåbarhet til invariant
Laster...
Om denne oppgaven: Dette er en øvingsoppgave med løsningsforslag utarbeidet av Eksamenssett.no for treningsformål. Den er ikke en offisiell eksamen fra NTNU – både oppgavetekst og løsning er vårt eget materiale.