Hold the line, please http://www.helicondesigns.co.uk/generic-atorvastatin-price-uk.pdf horseman cost of atorvastatin 20 mg uk gull Monoidics, started in 2009, writes "code verification software" using mathematical principles to determined whether a piece of software will execute correctly. The idea came out of a research project by co-founder Dino DiStefano, who with two colleagues developed "Infer", a program which could point to critical flaws such as "memory leaks" - which can make programs and computer crash - or conversely show that software was fine. Overall, 90% of crashes are caused by a single type of error.