Automated Verification - Session Preview

Offered By: ACM SIGPLAN via YouTube

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!

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.

Syllabus

[SessionPreviews@POPL'24] Automated Verification: Session Preview

Taught by

ACM SIGPLAN

Related Courses

Human Computer Interaction
Independent Introduction à la logique informatique - Partie 2 : calcul des prédicats
Université Paris-Saclay via France Université Numerique System Validation (4): Modelling Software, Protocols, and other behaviour
EIT Digital via Coursera Formal Software Verification
University System of Maryland via edX Principles of Secure Coding
University of California, Davis via Coursera