Cameleer: A deductive verification tool for OCaml

ResearchPod

English - August 12, 2022 10:00 - 10 minutes - 7.27 MB
Science Technology science research outreach education stem learning academic technology impact scicomm Homepage Download Google Podcasts Overcast Castro Pocket Casts RSS feed

Previous Episode: Managing Balance: Sustainability in science and history

Next Episode: Lifting the Resource Curse

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