KUALA LUMPUR, Oct 30 (Bernama) -- Start-up developing technology to mathematically prove that software code is safe, &Truth, has emerged from stealth with US$70 million in seed funding and set up its international headquarters in Singapore. (US$1 = RM4.05)