DENARCH Verified Space System