Informace o projektu
Advanced Method for Analysis and Synthesis of Probabilistic Programs
| Kód projektu | GA26-23441S CEP CORDIS MU WEB INET MU |
|---|---|
| Doba řešení | 01.01.2026–31.12.2028 |
| Stav | aktivní |
| Investor | Grantová agentura ČR |
| Program | Standardní projekty |
| Řešitel za FI | |
| Členové realizačního týmu za FI |
Anotace
Anotace je dostupná pouze v anglickém jazyce.
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.