Model Checking Intelligent Avionics Systems for Test Cases Generation using Multi-Agent Systems

•We propose a formal approach to model, verify and test avionics systems.•We use intelligent agents to model the components of the landing gear system.•We introduce extended interpreted systems to reason about interactions and actions.•We introduce a testing methodology that follows a test-driven development approach.•We use MCMAS+ to generate traces for test suites achieving new coverage criteria.