Probabilistic program synthesis consists in automatically creating programs generating
random values adhering to specified distributions. We consider here the family of …

Formal verification encapsulates the process of ensuring the correctness of systems with
respect to user-specified requirements, expressed as formal properties. This dissertation …

Probabilistic program synthesis consists in automatically creating programs generating
random values adhering to specified dis-tributions. We consider here the family of …

Several notions of reversibility exist in the literature. On the one hand, causal reversibility
establishes that an action can be undone provided that all of its consequences have been …