Media Summary: Some links available below ⬇️ Abstract In this talk I would like to introduce the QCheck-STM plugin for ORTAC, a framework for ... How do we know that we can trust software? One answer is software reliability Debugging is a dirty job, but you've gotta do it. Here are some tips. Textbook:
Verification Of Ocaml Programs Using - Detailed Analysis & Overview
Some links available below ⬇️ Abstract In this talk I would like to introduce the QCheck-STM plugin for ORTAC, a framework for ... How do we know that we can trust software? One answer is software reliability Debugging is a dirty job, but you've gotta do it. Here are some tips. Textbook:
![[POPL'26] Zoo: A Framework for the Verification of Concurrent OCaml 5 Programs using Separation(…)](https://i.ytimg.com/vi/OnJaLr-msxc/mqdefault.jpg)
