1 expert in "computer aided verification" found: