La vérifiation devient le coût technologique majeur dans les systèmes modernes