Over the last decade the use of model checking to verify the presence or absence of properties has gained prominence.
英
美
近十年以来,使用模型检查来验证有无某些特性已经成为主流。
目录
查词历史
英 汉