直接模型 meaning in Chinese
direct modeling
Examples
- Direct model checking matrix algorithm
直接模型检测矩阵算法 - The workshop on tools and algorithms for the construction and analysis of systems tacas 99 , lncs , springer - verlag , 1999 , 1579 : 193 - 207 . 4 burch j r , clarke e m , mcmillan k l . symbolic model checking : 10 20 states and beyond . information and computation , rm 1992 , 98 : 142 - 170
在这本文中,我们通过对kripke结构的合理扩充,提供了直接模型检测dmc direct model checking的矩阵算法,通过与体系结构描述语言adls的结合, dmc可以被直接应用在相容性consistency等关键性质的计算方面。