specification and requirements verification reaching a consensus