Periodic Reporting for period 3 - FRAPPANT (Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation)

The FRAPPANT project focuses on the theoretical foundations of probabilistic programs. What are such programs? They are computer programs with the feature that every now and then they flip a coin. Thus whereas a typical computer program is deterministic --- running a program...