FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain

Jincao Feng, Weikai Miao, Hanyue Zheng +8

Formal methods are promising for modeling and analyzing system requirements. However, applying formal methods to large-scale industrial projects is a remaining challenge. The indus…