A framework for heterogeneous formal modeling and compositional verification of avionics systems.

Yamine At Ameur, Remi Delmas, Virginie Wiels

Browse the full MEMOCODE paper archive.