Sébastien Heim

Latest

• Formal Verification of AADL models with Fiacre and Tina