inspections formal cse 491 200011