Probabilistic Invariant Generation Group @ TU Wien
ProbInG is a WWTF-funded ICT project that aims at developing novel and fully automated approaches to study and formalize the distributions of probabilistic program variables, without any user guidance. Our results will reduce the need for expert knowledge in ensuring the safety and security of computer systems and will cut the design costs of applications based on probabilistic programs, bringing crucial intellectual and economic benefits to our society.