YoVDO

FSE 2024 Rump Session

Offered By: TheIACR via YouTube

Tags

Formal Methods Courses Software Development Courses Software Engineering Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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.

Syllabus

FSE 2024 Rump Session


Taught by

TheIACR

Related Courses

Software as a Service
University of California, Berkeley via Coursera
Software Testing
University of Utah via Udacity
The Hardware/Software Interface
University of Washington via Coursera
Software Debugging
Saarland University via Udacity
Introduction to Systematic Program Design - Part 1
The University of British Columbia via Coursera