IDENTIFYING BUGS IN A COUNTER USING FORMAL Application WO-2017129969-A1 World Intellectual Property Organisation (WIPO) 03 Aug 2017