From Planning to Verification (2) (back to contents)