b) Correctness of design and implementation cannot readily be verified by means other than independent peer review. Item a) assumes that reliability, stability and scalability are better delivered by ...