ADVENT: Architecture-Driven Verification ADVENT
of Systems Software



Scientific Deliverables

  • D1.1. Final report for WP1: Identification of case studies [PDF]

  • D2.1. Progress report for WP2: Architecture-driven decomposition [PDF]

  • D3.1. Progress report for WP3: Reasoning about software/hardware interfaces [PDF]

  • D4.1. Progress report for WP4: Reasoning about heterogenous systems [PDF]

  • D5.1. Progress report for WP5: Architecture-driven veri cation of complex software components [PDF]

  • D6.1. Progress report for WP6: Automation [PDF]