Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
Explore a groundbreaking weakest pre calculus for quantitative hyperproperty reasoning in non-deterministic programs. Delve into the extension of quantitative weakest pre from single initial states to initial sets of states or probability distributions. Discover how this novel approach enables a weakest pre calculus for hyper Hoare logic and facilitates reasoning about hyperquantities like expected values and variances. Learn from Linpeng Zhang and Benjamin Lucien Kaminski's presentation at ACM SIGPLAN's Incorrectness'24 conference, offering valuable insights into advanced program analysis techniques over the course of 19 minutes.
