YoVDO

Automated Verification - Session Preview

Offered By: ACM SIGPLAN via YouTube

Tags

Formal Methods Courses Programming Languages Courses Static Analysis Courses

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

Secure Software Development: Verification and More Specialized Topics
Linux Foundation via edX Developing Secure Software
LinkedIn Learning Ethical Hacking: Mobile Devices and Platforms
LinkedIn Learning Tüm Aşamalarıyla İnşaat Eğitimi - AUTOCAD/STA4/EXCEL/PROJECT
Udemy Mobile Security: Reverse Engineer Android Apps From Scratch
Udemy