Generic verification framework in order to deal with all types of (sub-) systems designed according to the emerging NGVA STANAG. The description includes:
Overview of the UK Generic Vehicle Architecture (GVA) the motivation, architecture, and technical components.