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 23-minute conference talk from ACM SIGPLAN's Incorrectness'24 event that delves into unified compositional formal methods for program correctness and incorrectness reasoning. Learn about exact separation logic and the Gillian platform, which support both over-approximate compositional reasoning for verification and under-approximate compositional reasoning for true bug-finding. Discover how these tools and formalisms contribute to a unified approach in program analysis, as presented by researchers Andreas Lööw, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Nat Karmios, Seung Hoon Park, Petar Maksimović, and Philippa Gardner.
