How do we know that we can trust software? One answer is software reliability testing.

Dr Mário Pereira and Dr António 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