How do we know that we can trust software? One answer is software reliability testing.
Dr M\xe1rio Pereira and Dr Ant\xf3nio Ravara from the Nova School of Science and Technology in Lisbon, Portugal, and their collaborators have developed the Cameleer tool, a formal verification software tool for OCaml-written code.
Read the original article: https://doi.org/10.1007/978-3-030-81688-9_31
Read more in Research Outreach