eksamenssett
.no
Tren målrettet
Ungdomsskole/VGS
Høyskole
Ressurser
Skolenyttig
Forum
eksamenssett
.no
Tren målrettet
Ungdomsskole/VGS
Høyskole
Ressurser
Skolenyttig
Forum
eksamenssett
.no
Tren målrettet
Ungdomsskole/VGS
Høyskole
Ressurser
Skolenyttig
Forum
eksamenssett
.no
Tren målrettet
Ungdomsskole/VGS
Høyskole
Ressurser
Skolenyttig
Forum
Hjem
Høyskole
NTNU
TFE4171
Quiz
Dagens quiz – Formell verifikasjon og model checking
Dagens quiz – Formell verifikasjon og model checking
Spørsmål 1 av 10
0%
Hva betyr det hvis BMC-formelen er UNSAT for dybde
k
k
k
?
Formell verifikasjon og model checking
A
Det finnes ikke noe moteksempel av lengde
≤
k
\leq k
≤
k
; for stor nok
k
k
k
kan egenskapen være bevist
B
Modellen er deterministisk
C
Egenskapen er garantert brutt
D
SAT-solveren har gått tom for minne
Vis hint
Rapporter feil