Component-based Design and Verification in X-MAN Nannan He, Daniel Kroening, Thomas Wahl Oxford University Kung-Kiu Lau, Faris Taweel, Cuong M. Tran University of Manchester Philipp R¨ummer Uppsala University Sanjiv S. Sharma Airbus Operations Limited Abstract: Compositionality has the potential to enable a step-change in the scalability of formal design and verification methods for industrial-scale systems: by designing systems in a compositional manner, components can be modelled, specified, implemented, and verified independently and in parallel by different teams, leading to significant gains in terms of productivity and the ability to reuse components. We discuss why component-based frameworks have, up to now fallen short of meeting those expectations, and present the X-MAN framework; a component-based framework and development methodology that has been designed to overcome limitations of previous solutions. Walking through an industrial case study, we illustrate architecture, specification, detailed design, and implementation of systems in X-MAN. Correctness and reliability concerns are addressed uniformly within XMAN through integration with existing static analysis tools for functional and extra-functional properties.