A verifiable multi-agent framework for dependable and adaptable avionics