In the US enroute facilities we have a little program called the operational error detection patch or as call it, the snitch <G>. It will tell you down the tenth of a mile if you have less than five miles required separation and then snitch on you. If you don't have another form of separation that you are using, you have bought as we call it, a deal... An investigation then follows and they determine if you indeed had less than standard separation. The approach controls do not have their own version of this, however, we can call in from the enroute facilitiy if the program goes off and we have to advise them that it did...
regards
Scott