Verification

Sort options

Verification and Synthesis of Autonomous Systems (Coursera)

May 26th 2025
Verification and Synthesis of Autonomous Systems (Coursera)
Course Auditing
Coursera
University of Colorado Boulder
Categories
CS: Software Engineering
Effort
Intermediate
4 Weeks
1-4 Hours/Week
Languages
English
English
Verification and Synthesis of Autonomous Systems (Coursera)
This course will provide different techniques on the verification of autonomous systems against stability, regular, or omega-regular properties. Such techniques include Lyapunov theories, reachability analysis, barrier certificates, and model checking. Finally, it will introduce several techniques on designing controllers enforcing properties of interest over the original autonomous [...]
Foundations of Autonomous Systems Specialization
Autonomous Systems
Finite Systems
Verification
Synthesis
Abstraction
Refinement
Coursera Plus
View more details
May 26th 2025
Course Auditing
Coursera
University of Colorado Boulder
CS: Software Engineering
Intermediate
4 Weeks
1-4 Hours/Week
45.00 EUR/month
English
English

Introduction to Automated Analysis (Coursera)

May 19th 2025
Introduction to Automated Analysis (Coursera)
Course Auditing
Coursera
University of Minnesota
Categories
Computer Science
Effort
Intermediate
4 Weeks
1-4 Hours/Week
Languages
English
Arabic
French
Portuguese
Italian
Vietnamese
German
Russian
English
Spanish
Introduction to Automated Analysis (Coursera)
This course introduces state-of-the-art techniques for automated analysis. Automated analysis encompasses both approaches to automatically generate a very large number of tests to check whether programs meet requirements, and also means by which it is possible to *prove* that software meets requirements and that it is free from [...]
Software Testing and Automation Specialization
Automated Analysis
Software Testing
Test Automation
Verification
Coursera Plus
View more details
May 19th 2025
Course Auditing
Coursera
University of Minnesota
Computer Science
Intermediate
4 Weeks
1-4 Hours/Week
41.00 EUR/month
English
Arabic
French
Portuguese
Italian
Vietnamese
German
Russian
English
Spanish

Introduction to Software Testing (Coursera)

May 19th 2025
Introduction to Software Testing (Coursera)
Course Auditing
Coursera
University of Minnesota
Categories
Computer Science
Effort
Intermediate
4 Weeks
5-10 Hours/Week
Languages
English
Arabic
French
Portuguese
Italian
Vietnamese
German
Russian
English
Spanish
Introduction to Software Testing (Coursera)
After completing this course, you will have an understanding of the fundamental principles and processes of software testing. You will have actively created test cases and run them using an automated testing tool. You will being writing and recognizing good test cases, including input data and expected [...]
Software Testing and Automation Specialization
Software Testing
Validation
Verification
Testing Theory
Coursera Plus
View more details
May 19th 2025
Course Auditing
Coursera
University of Minnesota
Computer Science
Intermediate
4 Weeks
5-10 Hours/Week
39.00 EUR/month
English
Arabic
French
Portuguese
Italian
Vietnamese
German
Russian
English
Spanish

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

Self Paced
Secure Software Development: Verification and More Specialized Topics (edX)
Course Auditing
EdX
Linux Foundation
LinuxFoundationX
Categories
CS: Software Engineering
Effort
Beginner
Self-Paced
1-4 Hours/Week
Languages
English
English
Secure Software Development: Verification and More Specialized Topics (edX)
Learn how to verify software for security, and take a deeper dive into the basics of applying threat models and cryptography. Modern software is under constant attack, but many software developers have never been told how to effectively counter those attacks. This course works to solve that problem, by [...]
Secure Software Development Fundamentals Professional Certificate
Software Development
Software Security
Security
Cryptography
Security Verification
Verification
Threat Modeling
View more details
Self Paced
Course Auditing
EdX
Linux Foundation
LinuxFoundationX
CS: Software Engineering
Beginner
Self-Paced
1-4 Hours/Week
185.00 EUR
English
English