അത്തരമൊരു സംവിധാനം വികസിപ്പിക്കുന്നത് വളരെ പ്രയാസകരമാണ്, കാരണം ഈ രീതിയിലുള്ള വിശകലനം ഉപയോഗിക്കുന്നത് സ്റ്റാറ്റിക് അനാലിസിസ് അഥവാ formal proofs ആണ് ഈ മെത്തേഡ്സ് വലിയ കോഡുകളിലേക്ക് scalable അല്ല.
ఏదేమైనా, ఇక్కడ లోపం ఏమిటంటే, అటువంటి సిస్టమ్ ను అభివృద్ధి చేయడం చాలా కష్టం, దీనికి కారణం ఈ విశ్లేషణకు స్టాటిక్ అనాలిసిస్ లేదా ఫార్మల్ ప్రూఫ్స్ ను ఉపయోగిస్తుంది, ఇవి పెద్ద కోడ్ లను కొలవ లేవు .