Verification

Filter Courses within "Verification" (Click to filter)
Reset Filters | Advanced Global Search
Verification and Synthesis of Autonomous Systems (Coursera) Coursera
University of Colorado Boulder

Verification and Synthesis of Autonomous Systems (Coursera)

CS: Software Engineering

Dive into the world of autonomous system verification with our expert-led online course. Gain a deep understanding of techniques like Lyapunov methods, reachability analysis, barrier certificates, and model checking to verify stability, regularity, and omega-regular properties in complex autonomous systems. Enhance your skills in designing controllers that enforce desired properties.

Jun 22nd 2026
4 Weeks
Synthesis Verification Abstraction
Details
Introduction to Automated Analysis (Coursera) Coursera
University of Minnesota

Introduction to Automated Analysis (Coursera)

Computer Science

Dive into the world of automated analysis with our Introduction to Automated Analysis course. This course will equip you with essential skills in using cutting-edge techniques to test and prove your software's reliability, focusing on eliminating common bugs such as division by zero and array overflow issues.

Jun 15th 2026
4 Weeks
Verification Software Testing Software Testing and Automation Specialization
Details
Secure Software Development: Verification and More Specialized Topics (edX) EdX
Linux Foundation,LinuxFoundationX

Secure Software Development: Verification and More Specialized Topics (edX)

CS: Software Engineering

Discover the essential skills for developing secure software with our 'Secure Software Development: Verification and More Specialized Topics' course. This expert-led program will guide you through verifying software for security, applying advanced threat models, and understanding the basics of cryptography. Whether you're a developer looking to fortify your applications or an IT professional aiming to enhance your organization's cybersecurity posture, this course is designed to equip you with the knowledge needed to protect against today's sophisticated cyber threats.

Self Paced
Self-Paced
Cryptography Security Verification
Details
Page 1