Stav dette: Hardware and software, verification and testing :