Formal verification of models using concurrent model-reduction and model-checking

• 1. 使用高级策略模型和经训练的低级策略模型进行机器人导航 [P] . 中国专利： CN113165178A . 2021-07-23
• 2. 使用语言模型对序列到序列模型进行冷聚变 [P] . 中国专利： CN108960277A . 2018-12-07
• 3. Formal Verification of Models Using Concurrent Model-Reduction and Model-Checking [P] . 美国专利： US2012203535A1 . 2012-08-09

  机译： 使用并发模型约简和模型检查对模型进行形式验证

• 4. Formal verification of models using concurrent model-reduction and model-checking [P] . 美国专利： US8244516B2 . 2012-08-14

  机译： 使用并发模型约简和模型检查对模型进行形式验证

• 5. Formal Verification of Models Using Concurrent Model-Reduction and Model-Checking [P] . 美国专利： US2009326886A1 . 2009-12-31

  机译： 使用并发模型约简和模型检查对模型进行形式验证

• 1. Formal Verification of TASM Models by Translating into UPPAAL [J] . HU Kai, ZHANG Teng, YANG Zhi-bin, 东华大学学报（英文版） . 2012,第001期
• 2. Formal Specifications and Verification of a Secure Communication Protocol Model [J] . 夏阳, 陆余良, 蒋凡 系统工程与电子技术（英文版） . 2003,第002期
• 3. Formal verification of intermittent fault diagnosability of discrete-event systems using model-checking [J] . Abderraouf Boussif, Mohamed Ghazel International journal of critical computer-based systems . 2018,第2期
• 4. Formal Modeling and Verification of Concurrent FSMs: Case Study on Event-Based Cooperative Transport Robots [J] . Yoshinao ISOBE, Nobuhiko MIYAMOTO, Noriaki ANDO, IEICE transactions on information and systems . 2021,第10期
• 5. FORMAL VERIFICATION OF UML MARTE SPECIFICATIONS BASED ON A TRUE CONCURRENCY REAL TIME MODEL [J] . Chabbat Nadia, Saidouni Djamel Eddine, Boukharrou Radja, Computing and informatics . 2020,第5期
• 6. A Formal Compositional Verification Approach for Safety-Critical Systems Correctness: Model-Checking based Methodological Approach to Automatically Verify Safety Critical Systems Software [C] . Manuel I. Capel, Luis E. Mendoza Morales International Conference on Enterprise Information Systems . 2012
• 7. Model-checking symbolique pour la verification de systemes et son application aux tables de decision et aux systemes d'editions collaboratives distribuees. [D] . Najem, Manal. 2009
• 8. A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks [O] . Pedro T Monteiro, Estelle Dumas, Bruno Besson, 2009
• 9. Verifying Atomicity Specifications for Concurrent Object-Oriented Software using Model-Checking [O] . John Hatcliff, Robby, Matthew B. Dwyer 2003
• 10. Computing Science: A High-Level Model-Checking Tool for Verifying Electronic Contracts [R] . Abdelsadiq, A., Molina-Jimenez, C., Shrivastava, S. 2011

• 1. Timed-Automata Based Model-Checking of a Multi-Agent System: A Case Study [J] . Nadeem Akhtar ,Muhammad Nauman . 软件工程与应用（英文） . 2015,第2期
• 2. Main Features of a Complete Ultrasonic Measurement Model: Formal Aspects of Modeling of Both Transducers Radiation and Ultrasonic Flaws Responses [J] . Michel Darmon ,Sylvain Chatillon . 声学期刊（英文） . 2013,第3期
• 3. Genetic Algorithm for Concurrent Balancing of Mixed-Model Assembly Lines with Original Task Times of Models [J] . Panneerselvam Sivasankaran ,Peer Mohamed Shahabudeen . 智能信息管理（英文） . 2013,第3期
• 4. 使用马尔可夫模型进行中国结核病疫情趋势及防控重点分析 [C] . 徐凯进 . 2016全国结核病诊疗与防控暨首届中西医结合治疗的基础与临床新进展研讨会 . 2016
• 5. 使用RBAC模型进行存取控制的分析和研究 [A] . 滕凡 . 2003