Probabilistic programs are "standard" programs that can acquire (sample) data randomly from given probability distributions. Formal methods for analyzing, verifying, and synthesizing probabilistic programs are indispensable for achieving their correctness and sufficient performance. The project contributes to this line of research by overcoming selected key limitations of current methods in the verification of programs with unbounded data types, asymptotic complexity analysis, and algorithmic synthesis.

Cíle udržitelného rozvoje

Masarykova univerzita se hlásí k cílům udržitelného rozvoje OSN, jejichž záměrem je do roku 2030 zlepšit podmínky a kvalitu života na naší planetě.

Publikace