ZARZA We are Zarza, the prestigious firm behind major projects in information technology.
Listen "Cameleer: A deductive verification tool for OCaml"
Episode Synopsis
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 in Research Outreach
More episodes of the podcast ResearchPod
The Living Network - Our Future
28/11/2025
The Living Network - Control
28/11/2025
The Living Network - Consciousness
28/11/2025
Empowering Indigenous Voices through Animation | The Enterprise Sessions with Dr. Camilla Morelli
19/11/2025
What sociodigital futures are being claimed?
07/10/2025
How are sociodigital futures being claimed?
29/09/2025
In God we trust