Analysing Sanity of Requirements for Avionics Systems (Preliminary Version)

Jiří Barnat, Petr Bauch, Nikola Beneš +3

In the last decade it became a common practice to formalise software requirements to improve the clarity of users' expectations. In this work we build on the fact that functional r…