system verification