• For Individuals
  • For Businesses
  • For Universities
  • For Governments
Degrees
​
Log In
Join for Free
  • Browse
  • Model Checking

Results for "model+checking"


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

    Coursera

    Automate, Optimize, and Monitor ML Models

    Skills you'll gain: Verification And Validation, Data Pipelines

    Intermediate · Course · 1 - 4 Weeks

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

    Coursera

    Audit & Evaluate Excel Models

    Intermediate · Course · 1 - 4 Weeks

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

    Coursera

    Automate, Analyze, and Evaluate ML Experiments

    Skills you'll gain: MLOps (Machine Learning Operations), Model Evaluation, Key Performance Indicators (KPIs), Business Metrics, Performance Analysis, Performance Measurement, Responsible AI, Test Execution Engine, Performance Metric, Test Automation, Feature Engineering, Verification And Validation, Content Performance Analysis, Machine Learning, Data Ethics, Quality Assessment, Gap Analysis, Cost Benefit Analysis, Research Design, Quantitative Research

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of Leeds

    Foundations of Software Testing and Validation

    Skills you'll gain: Test Case, Software Testing, Software Quality Assurance, Quality Assurance, User Acceptance Testing (UAT), Test Planning, Verification And Validation, Acceptance Testing, System Testing, White-Box Testing, Unit Testing, Functional Testing, Integration Testing, Software Development Life Cycle, Software Development

    4.6
    Rating, 4.6 out of 5 stars
    ·
    444 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    T

    The Hong Kong University of Science and Technology

    Software Engineering: Modeling Software Systems using UML

    Skills you'll gain: Requirements Analysis, Unified Modeling Language, Object Oriented Design, Functional Requirement, Data Modeling, Object Oriented Programming (OOP), Systems Development Life Cycle, User Requirements Documents, System Requirements, Functional Specification, Diagram Design, Software Development, Software Engineering, Software Systems, Model Evaluation, Project Planning, Project Management

    4.6
    Rating, 4.6 out of 5 stars
    ·
    364 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    P

    Pragmatic AI Labs

    Large Language Models with Hugging Face

    Skills you'll gain: Prompt Engineering, Hugging Face, Generative AI, JSON

    Intermediate · Course · 1 - 4 Weeks

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

    Coursera

    Evaluate & Swap Models in Java ML

    Skills you'll gain: Model Evaluation, Data Preprocessing, MLOps (Machine Learning Operations), Classification Algorithms, Applied Machine Learning, Maintainability, Machine Learning Algorithms, Java, Software Architecture, Software Design Patterns, Logistic Regression, Business Metrics, Benchmarking, Decision Tree Learning, Matrix Management, Business

    Intermediate · Course · 1 - 4 Weeks

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

    Coursera

    Regression: Identify Assumptions & Apply Models

    Skills you'll gain: Regression Analysis, Financial Forecasting, Model Evaluation, Data Presentation, Technical Communication, Exploratory Data Analysis, Statistical Programming, R Programming, Statistical Modeling, Predictive Modeling, R (Software), Statistical Analysis, Verification And Validation, Plot (Graphics), Reliability

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University at Buffalo

    MBSE: Model-Based Systems Engineering

    Skills you'll gain: Model Based Systems Engineering, Systems Engineering, Industrial Engineering, Manufacturing Processes, Internet Of Things, Product Lifecycle Management, Enterprise Architecture, Verification And Validation, Simulation and Simulation Software, Process Analysis

    4.4
    Rating, 4.4 out of 5 stars
    ·
    902 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Preview
    Preview
    C

    Coursera

    SystemVerilog Tutorials: Hardware Design & Verification

    Skills you'll gain: Hardware Design, Field-Programmable Gate Array (FPGA), Data Structures, Systems Design, Application Specific Integrated Circuits, Electronic Systems, Computer Engineering, Verification And Validation, Embedded Systems, Software Design, Simulation and Simulation Software, Test Engineering, Programming Principles, Data Synthesis, Analysis, Design, Process Optimization

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    P

    Pragmatic AI Labs

    Production ML with Hugging Face

    Skills you'll gain: Model Deployment, MLOps (Machine Learning Operations), Hugging Face, Rust (Programming Language), Cloud Deployment, Application Deployment, CI/CD, Performance Tuning, Large Language Modeling, Performance Testing, Cross Platform Development, Cryptography

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    S

    Scrimba

    Intro to Model Context Protocol (MCP)

    Skills you'll gain: Model Context Protocol, AI Workflows, Tool Calling, Anthropic Claude, Real Time Data, Debugging, AI Security, Artificial Intelligence and Machine Learning (AI/ML), Servers, Artificial Intelligence, Middleware, Data Access, Server Side, Generative AI

    3.1
    Rating, 3.1 out of 5 stars
    ·
    11 reviews

    Intermediate · Course · 1 - 4 Weeks

1234…9

In summary, here are 10 of our most popular model+checking courses

  • Automate, Optimize, and Monitor ML Models: Coursera
  • Audit & Evaluate Excel Models: Coursera
  • Automate, Analyze, and Evaluate ML Experiments: Coursera
  • Foundations of Software Testing and Validation: University of Leeds
  • Software Engineering: Modeling Software Systems using UML: The Hong Kong University of Science and Technology
  • Large Language Models with Hugging Face: Pragmatic AI Labs
  • Evaluate & Swap Models in Java ML: Coursera
  • Regression: Identify Assumptions & Apply Models: Coursera
  • MBSE: Model-Based Systems Engineering : University at Buffalo
  • SystemVerilog Tutorials: Hardware Design & Verification: 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

  • Artificial Intelligence (AI)
  • Cybersecurity
  • Data Analytics
  • Digital Marketing
  • English Speaking
  • Generative AI (GenAI)
  • Microsoft Excel
  • Microsoft Power BI
  • Project Management
  • Python

Certificates & Programs

  • Google Cybersecurity Certificate
  • Google Data Analytics Certificate
  • Google IT Support Certificate
  • Google Project Management Certificate
  • Google UX Design Certificate
  • IBM Data Analyst Certificate
  • IBM Data Science Certificate
  • Machine Learning Certificate
  • Microsoft Power BI Data Analyst Certificate
  • UI / UX Design Certificate

Industries & Careers

  • Business
  • Computer Science
  • Data Science
  • Education & Teaching
  • Engineering
  • Finance
  • Healthcare
  • Human Resources (HR)
  • Information Technology (IT)
  • Marketing

Career Resources

  • Career Aptitude Test
  • Examples of Strengths and Weaknesses for Job Interviews
  • High-Income Skills to Learn
  • How Does Cryptocurrency Work?
  • How to Highlight Duplicates in Google Sheets
  • How to Learn Artificial Intelligence
  • Popular Cybersecurity Certifications
  • Preparing for the PMP Certification
  • Signs You Will Get the Job After an Interview
  • What Is Artificial Intelligence?

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