@inproceedings{90e786456a9245259b111ab8a8f10654,
title = "Using model checking to verify the logic module of flight control software",
abstract = "Model checking is an important method to verify state machine based system. In this paper, we using PAT, a novel and powerful model checking tool, to verify the logic module of flight control software, which is public available. Conclusions are drawn from the verification and these are valuable for similar researches.",
keywords = "Flight control, Logic module, Model checking",
author = "Yang, \{Shun Kun\} and Li, \{Guo Qi\}",
year = "2013",
doi = "10.4028/www.scientific.net/AMM.341-342.655",
language = "英语",
isbn = "9783037857588",
series = "Applied Mechanics and Materials",
pages = "655--659",
booktitle = "Energy Research and Power Engineering",
note = "2013 International Conference on Energy Research and Power Engineering, ERPE 2013 ; Conference date: 24-05-2013 Through 25-05-2013",
}