• For Individuals
  • For Businesses
  • For Universities
  • For Governments
Degrees
​
Log In
Join for Free
  • Browse
  • Simulation For Verification

Results for "simulation+for+verification"


  • Status: Free Trial
    Free Trial
    U

    University of Toronto

    Self-Driving Cars

    Skills you'll gain: Computer Vision, Convolutional Neural Networks, Image Analysis, Control Systems, Robotics, Embedded Software, Automation, Deep Learning, Software Architecture, Safety Assurance, Global Positioning Systems, Hardware Architecture, Systems Architecture, Network Routing, Graph Theory, Estimation, Algorithms, Simulations, Mathematical Modeling, Linear Algebra

    4.7
    Rating, 4.7 out of 5 stars
    ·
    3.6K reviews

    Advanced · Specialization · 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Fundamentals of Model Checking

    Skills you'll gain: Computational Logic, Systems Design, Verification And Validation, Computer Engineering, Communication Systems, Systems Analysis, Software Systems, Process Modeling, Functional Testing, Theoretical Computer Science, Computational Thinking, Functional Specification, Software Architecture, Model Optimization, Software Design, Graph Theory, Software Testing, Software Quality Assurance, Computer Architecture, Logical Reasoning

    4.7
    Rating, 4.7 out of 5 stars
    ·
    11 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Simulate with Monte Carlo

    Skills you'll gain: Simulations, Risk Modeling, Risk Analysis, Simulation and Simulation Software, Risk Management, Financial Forecasting, Return On Investment, Data Analysis, Financial Modeling, Analysis, Microsoft Excel, Data-Driven Decision-Making, Probability Distribution, Business Modeling

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    M

    MathWorks

    Modeling and Simulation with Simulink

    Skills you'll gain: Simulation and Simulation Software, Control Systems, Model Based Systems Engineering, Simulations, Mathematical Modeling, Engineering Analysis, Data Import/Export, Systems Engineering, Model Optimization

    4.8
    Rating, 4.8 out of 5 stars
    ·
    58 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Introduction to Modeling for Formal Verification

    Skills you'll gain: Systems Design, Computational Logic, Verification And Validation, Computer Engineering, Communication Systems, Software Systems, Process Modeling, Theoretical Computer Science, Graph Theory

    4.7
    Rating, 4.7 out of 5 stars
    ·
    11 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Foundations of Autonomous Systems

    Skills you'll gain: Computational Logic, Model Based Systems Engineering, Mathematical Modeling, System Requirements, Functional Requirement, Theoretical Computer Science, Functional Specification, Verification And Validation, Systems Architecture, Automation Engineering, Control Systems, Network Model, Requirements Analysis, Mechanical Engineering, Mechanics, Applied Mathematics, Automation, Systems Analysis, Differential Equations, Algorithms

    Build toward a degree

    3.6
    Rating, 3.6 out of 5 stars
    ·
    36 reviews

    Intermediate · Specialization · 3 - 6 Months

What brings you to Coursera today?

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Validating and Safeguarding Production AI

    Skills you'll gain: Anomaly Detection, MLOps (Machine Learning Operations), AI Security, Software Engineering, Model Training, DevOps, Software Quality Assurance, Maintainability, CI/CD, Model Deployment, Performance Tuning, Security Testing, Model Evaluation, Secure Coding, Performance Testing, Continuous Monitoring, Integration Testing, Sampling (Statistics), Data Validation, Python Programming

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Real-Time Embedded Systems

    Skills you'll gain: Real-Time Operating Systems, Systems Architecture, Software Architecture, Embedded Software, Software Design, System Design and Implementation, Embedded Systems, Performance Tuning, Systems Analysis, Electronic Hardware, Hardware Design, Electronic Systems, Systems Design, Hardware Architecture, Electrical and Computer Engineering, Requirements Analysis, System Programming, Reliability, Operating Systems, Service Level

    Build toward a degree

    4
    Rating, 4 out of 5 stars
    ·
    122 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    B

    Board Infinity

    Software Quality Assurance and Testing

    Skills you'll gain: Test Automation, Performance Testing, Software Quality Assurance, White-Box Testing, API Testing, Test Script Development, AI Security, Software Quality (SQA/SQC), Performance Stress Testing, Software Development Methodologies, Regression Testing, AI Integrations, Maintainability, Code Review, Scalability, Automation, Code Coverage, Software Technical Review, DevOps, Security Testing

    4.2
    Rating, 4.2 out of 5 stars
    ·
    33 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Testing and Refining LLM Applications

    Skills you'll gain: MLOps (Machine Learning Operations), LLM Application, AI Security, Test Automation, Test Script Development, Test Driven Development (TDD), Unit Testing, CI/CD, Continuous Integration, Software Testing, Testability, Large Language Modeling, Model Deployment, Test Case, Responsible AI, Security Testing, AI Workflows, Python Programming, Statistical Analysis, SQL

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Minnesota

    Simulation Models for Decision Making

    Skills you'll gain: Simulations, Probability Distribution, Probability, Statistical Methods, Simulation and Simulation Software, Probability & Statistics, Statistics, Microsoft Excel, Excel Formulas, Complex Problem Solving, Excel Macros, Business Modeling, Risk Modeling, Statistical Analysis, Process Modeling

    4.5
    Rating, 4.5 out of 5 stars
    ·
    65 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Validate and Track Data History Confidently

    Skills you'll gain: Data Validation, Data Integrity, Data Maintenance, Data Transformation, Data Quality, Data Warehousing, Extract, Transform, Load, Reconciliation, Code Reusability

    Advanced · Course · 1 - 4 Weeks

1234…9

In summary, here are 10 of our most popular simulation+for+verification courses

  • Self-Driving Cars: University of Toronto
  • Fundamentals of Model Checking: University of Colorado Boulder
  • Simulate with Monte Carlo: Coursera
  • Modeling and Simulation with Simulink : MathWorks
  • Introduction to Modeling for Formal Verification: University of Colorado Boulder
  • Foundations of Autonomous Systems: University of Colorado Boulder
  • Validating and Safeguarding Production AI: Coursera
  • Real-Time Embedded Systems: University of Colorado Boulder
  • Software Quality Assurance and Testing: Board Infinity
  • Testing and Refining LLM Applications: Coursera

Other topics to explore

Arts and Humanities
338 courses
Business
1095 courses
Computer Science
668 courses
Data Science
425 courses
Information Technology
145 courses
Health
471 courses
Math and Logic
70 courses
Personal Development
137 courses
Physical Science and Engineering
413 courses
Social Sciences
401 courses
Language Learning
150 courses

Coursera Footer

Skills

  • Accounting
  • Artificial Intelligence (AI)
  • Cybersecurity
  • Data Analytics
  • Digital Marketing
  • Human Resources (HR)
  • Microsoft Excel
  • Project Management
  • Python
  • SQL

Professional Certificates

  • Google AI Certificate
  • Google Cybersecurity Certificate
  • Google Data Analytics Certificate
  • Google IT Support Certificate
  • Google Project Management Certificate
  • Google UX Design Certificate
  • IBM AI Engineering Certificate
  • IBM AI Product Manager Certificate
  • IBM Data Science Certificate
  • Intuit Academy Bookkeeping Certificate

Courses & Specializations

  • AI Essentials Specialization
  • AI For Business Specialization
  • AI For Everyone Course
  • AI in Healthcare Specialization
  • Deep Learning Specialization
  • Excel Skills for Business Specialization
  • Financial Markets Course
  • Machine Learning Specialization
  • Prompt Engineering for ChatGPT Course
  • Python for Everybody Specialization

Career Resources

  • Career Aptitude Test
  • CAPM Certification Requirements
  • CompTIA A+ Certification Requirements
  • CompTIA Security+ Certification Requirements
  • Essential IT Certifications
  • Free IT Certifications and Courses
  • High-Income Skills to Learn
  • How to Learn Artificial Intelligence
  • PMP Certification Requirements
  • Popular Cybersecurity Certifications

Coursera

  • About
  • What We Offer
  • Leadership
  • Careers
  • Catalog
  • Coursera Plus
  • Professional Certificates
  • MasterTrack® Certificates
  • Degrees
  • For Enterprise
  • For Government
  • For Campus
  • Become a Partner
  • Social Impact
  • Free Courses
  • Share your Coursera learning story

Community

  • Learners
  • Partners
  • Beta Testers
  • Blog
  • The Coursera Podcast
  • Tech Blog

More

  • Press
  • Investors
  • Terms
  • Privacy
  • Help
  • Accessibility
  • Contact
  • Articles
  • Directory
  • Affiliates
  • Modern Slavery Statement
  • Do Not Sell/Share
Learn Anywhere
Download on the App Store
Get it on Google Play
Logo of Certified B Corporation
© 2026 Coursera Inc. All rights reserved.
  • Coursera Facebook
  • Coursera Linkedin
  • Coursera Twitter
  • Coursera YouTube
  • Coursera Instagram
  • Coursera TikTok