It is well known that actuator dynamics with degraded performance can lead to poor stability and tracking for adaptive control. In this paper, we use occupation measures and LMI relaxations (called the moment sums of squares or Lasserre hierarchy) for verification and validation of a longitudinal F-16 aircraft model with MRAC and higher order actuator dynamics with uncertain parameters and deflection saturation. These uncertain parameters are represented explicitly in the space of occupation measures. To improve numerical scalability, we exploit sparsity for ordinary differential equations (ODEs) using parsimony to partition the dynamics. We finally compare these main results to those obtained using Monte-Carlo methods.