Sistemele care se autoverifică tind să aibă o complexitate proporţională cu instabilitatea inerentă a sistemului în care sînt folosite.