@文章{zbMATH00064869,作者{J.R.{Burch}和E.M.{Clarke}和K.L.{McMillan}和D.L.{Dill}和L.J.{Hwang}},Title={symbol model checking:\(10^{20}\)状态及以上状态}},FJournal={信息与计算},Journal={Inf.Comput.}},ISSN={0890-5401},体积={98},{2},页数={142--170},年={1992},Publisher={Elsevier(学术出版社),加利福尼亚州圣地亚哥},语言{英语},DOI={10.1016/0890-5401(92)90017-A},MSC2010={68Q60 68Q10 68Q85},Zbl={0753.68066}}