Picus Security, founded by Turkish 3 mathematicians, raises $45M after simulating 1B cyberattacks | TechCrunchThe complexity of software verification is increasing, necessitating continuous validation processes.