Verification -- synthesis -- runtime monitoring -- testing and controller