Research Article
An Industrial Software Model Checking Method Based on Machine Learning and Its Application in Education
@INPROCEEDINGS{10.1007/978-3-031-23950-2_7, author={Ting Zhang and Yong Wang}, title={An Industrial Software Model Checking Method Based on Machine Learning and Its Application in Education}, proceedings={Application of Big Data, Blockchain, and Internet of Things for Education Informatization. Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29--31, 2022, Proceedings, Part I}, proceedings_a={BIGIOT-EDU}, year={2023}, month={1}, keywords={Machine learning Software verification Model detection}, doi={10.1007/978-3-031-23950-2_7} }- Ting Zhang
Yong Wang
Year: 2023
An Industrial Software Model Checking Method Based on Machine Learning and Its Application in Education
BIGIOT-EDU
Springer
DOI: 10.1007/978-3-031-23950-2_7
Abstract
In the era of big data, the traditional industrial software model detection methods can not meet the actual needs in the massive data. This paper studies an industrial software system, which is widely used in many industrial fields. A comprehensive analysis of its behavior and correctness has practical needs and significance. At present, there are symbolic, combinatorial and statistical model detection methods to verify the correctness of the system interaction and random behavior. Because there are many variables in the detection system, it is easy to cause the state space explosion of verification; When using abstract technology, verification is incomplete. To solve the above problems, we focus on the processing of variables in the detection system.
