Lauro Rizzatti, Verification Consultant