Lero to commercialise NASA-developed technology

Following the award of a US patent for NASA technology to Professor Mike Hinchey, the co-director of the Irish Software Engineering Research Centre (Lero), and his former NASA colleagues, Lero is to commercially develop the technology here in Ireland. The patent (No 7,543,274) supports the automatic generation of provably correct software using a combination of trace-based and