Attend the FSE 2024 Rump Session, a 2-hour and 26-minute conference talk hosted by TheIACR. Explore cutting-edge research and developments in the field of formal methods and software engineering. Engage with leading experts as they present brief, rapid-fire talks on their latest findings, innovative ideas, and emerging trends. Gain valuable insights into the future directions of formal methods and their applications in software development and verification.