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

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