Mingxing Liu

Jan 25, 2024 | mdpi.com | Mingxing Liu |Junfeng Wang |Tao Lin |Quân Mã

1. IntroductionThe software development and verification in safety-critical domains such as nuclear energy, aviation, the automotive industry, and rail transportation have been hot topics of interest in both academia and industry. Enhancing the trustworthiness and development efficiency of safety-critical software is a challenging task. Model-driven and formal methods have emerged as mainstream techniques to address this challenge [1,2].