• 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

    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
    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: Preview
    Preview
    F

    Fractal Analytics

    Model Context Protocol (MCP) Mastery

    Skills you'll gain: Model Context Protocol, AI Security, Threat Modeling, AI Workflows, Secure Coding, LLM Application, Enterprise Architecture, Generative AI Agents, Security Controls, Interoperability, Agentic systems, Generative AI

    4.5
    Rating, 4.5 out of 5 stars
    ·
    53 reviews

    Intermediate · 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: Preview
    Preview
    C

    Coursera

    Model Training & Evaluation

    Skills you'll gain: Supervised Learning, Statistical Machine Learning, Scikit Learn (Machine Learning Library), Applied Machine Learning, Machine Learning

    Intermediate · Course · 1 - 4 Weeks

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

    Pragmatic AI Labs

    Advanced Fine-Tuning in Rust

    Skills you'll gain: Hugging Face, Large Language Modeling, Transfer Learning, Rust (Programming Language), Data Validation, Model Deployment, Verification And Validation, Performance Tuning, System Requirements, Model Evaluation, Hardware Architecture, Deep Learning, Data Quality

    Advanced · 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

  • M

    MathWorks

    Modeling and Simulation with Simulink

    Skills you'll gain: Simulation and Simulation Software, Control Systems, Model Based Systems Engineering, Engineering Design Process, Mathematical Modeling, Engineering Analysis, Systems Analysis, Test Case, Systems Design, Performance Tuning, Automation Engineering, Matlab

    4.8
    Rating, 4.8 out of 5 stars
    ·
    53 reviews

    Beginner · Course · 1 - 4 Weeks

  • 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: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Requirement Specifications for Autonomous Systems

    Skills you'll gain: Computational Logic, System Requirements, Functional Requirement, Theoretical Computer Science, Systems Analysis, Verification And Validation, Control Systems, Linear Algebra, Differential Equations, Applied Mathematics

    Build toward a degree

    3.4
    Rating, 3.4 out of 5 stars
    ·
    9 reviews

    Intermediate · Course · 1 - 3 Months

  • 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
    U

    University of Colorado Boulder

    Modeling of Autonomous Systems

    Skills you'll gain: Mathematical Modeling, Control Systems, Network Model, Mechanical Engineering, Systems Analysis, Automation, Real-Time Operating Systems, Differential Equations, Safety Assurance, Verification And Validation

    Build toward a degree

    3.5
    Rating, 3.5 out of 5 stars
    ·
    21 reviews

    Intermediate · Course · 1 - 3 Months

1…456…9

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

  • Evaluate & Swap Models in Java ML: Coursera
  • Production ML with Hugging Face: Pragmatic AI Labs
  • Model Context Protocol (MCP) Mastery: Fractal Analytics
  • SystemVerilog Tutorials: Hardware Design & Verification: Coursera
  • Model Training & Evaluation: Coursera
  • Advanced Fine-Tuning in Rust: Pragmatic AI Labs
  • Intro to Model Context Protocol (MCP): Scrimba
  • Modeling and Simulation with Simulink : MathWorks
  • Large Language Models with Hugging Face: Pragmatic AI Labs
  • Requirement Specifications for Autonomous Systems: University of Colorado Boulder

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