Automatic checking of security systems
