Text this: Toward automatic verification of goal-oriented flow simulations /