Heriot-Watt DBA verification