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 concise preview of the Automated Verification session at POPL'24, presented by Viktor Kunčak. Gain insights into the latest advancements and key topics to be discussed in this 10-minute conference talk, offering a glimpse into the cutting-edge research and developments in the field of automated verification within programming languages and systems.
