Asiasanasto.fi
Hae
Sanat
Selaa sanoja
Kaikki sanat
Yleisimmät sanat
Pisimmät sanat
Satunnainen sana
Hae kirjaimen mukaan
Sanat alkukirjaimittain
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
Ä
Ö
Sanat loppukirjaimittain
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
Ä
Ö
Sanat joissa tietty kirjain
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
Ä
Ö
Sanat kirjainmäärän mukaan
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
Kirjat
Työkalut
Hae
Sanat
/
mallintarkastus
mallintarkastus
substantiivi
sisältää sanat:
malli
+
tarkastus
Merkitys
1.
(Tietojenkäsittelytiede)
formaali menetelmä, jonka avulla voidaan automaattisesti todentaa järjestelmän mallin käyttäytymistä kuvaava ominaisuus
Käännökset
engl.
model checking
Englanninkieliset vastineet
model checking