Verified Stand-Up Actu