Over the last decade the use of model checking to verify the presence or absence of properties has gained prominence.
英
美
- 近十年以来,使用模型检查来验证有无某些特性已经成为主流。
- 今日热词
-
- 深远海浮式风电平台 - deep-sea floating wind power platform
-
- 京雄高速公路 - Beijing-Xiongan expressway
-
- 农业及相关产业增加值 - the added value of agriculture and related industries