Szoftvert nehezebb fejleszteni, mint hardvert. (Itt komoly cégekre gondolok, nem pedig arra, hogy a 11 éves Pistike elgondolkodik, hogy szoftver- vagy hardverfejlesztéssel üsse-e el az idõt. Persze, hogy õ szoftvert fog fejleszteni :\ )
A hardverek helyességének igazolására jóval kiforrottabb formális technikák vannak, míg a szoftvereknél csak elvétve alkalmaznak formális módszereket hatékonysági okokból (pl. vasúti forgalomirányító megoldásoknál ha jól tudom ez kötelezõ is, de gondolom más egyéb veszélyes területeken is).