model checking - معنی تخصصی در دیکشنری آبادیس