Towards a Correct-by-Construction Design of Integrated Modular Avionics.
Baoluo MengJoyanta DebnathSarat Chandra VaranasiEmmanuel ManoloiosMichael DurlingSaswata PaulDaniel PrinceSaif AlsabbaghRichard HaadsmaCraig McMillanChi ZhangTim OatesPublished in: FMCAD (2023)