Author:
Gan Xiang,Dubrovin Jori,Heljanko Keijo
Funder
ARTEMIS-JU, Tekes — Finnish Funding Agency for Technology and Innovation, Conformiq Software, Space Systems Finland, Academy of Finland
Helsinki Doctoral Programme in Computer Science — Advanced Computing and Intelligent Systems (Hecse)
Reference21 articles.
1. Model Checking;Clarke,1999
2. Principles of Model Checking;Baier,2008
3. Symbolic model checking: 1020 states and beyond;Burch;Inform. and Comput.,1992
4. NuSMV version 2: an opensource tool for symbolic model checking;Cimatti,2002
5. Efficient reduction of finite state model checking to reachability analysis;Schuppan;Software Tools for Technology Transfer (STTT),2004
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The MoXI Model Exchange Tool Suite;Lecture Notes in Computer Science;2024
2. Applicability of Model Checking for Verifying Spacecraft Operational Designs;2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS);2023-10-01
3. Dynamic verification of satellite systems using Ilities;Journal of Space Safety Engineering;2022-06
4. A Review of Verification and Validation for Space Autonomous Systems;Current Robotics Reports;2021-06-18
5. Supporting Automated Verification of Reconfigurable Systems with Product Lines and Model Checking;Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering;2021