Merkitys
- (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
Lähteet
- FinnWordNet 2.0, Lindén et al. (2012)· CC BY 3.0
- Tieteen termipankki· CC BY-SA 3.0