Emi-Plan-Verification in Salem