Merlijn Sevenhuijsen

Uma nova ferramenta combina LLMs e verificação formal pra criar códigos mais seguros.