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

Results for "model checking"


  • C

    Coursera

    Building, Optimizing, and Validating Machine Learning Models

    Skills you'll gain: Model Training, Model Optimization, Model Evaluation, Machine Learning Software, Applied Machine Learning, Predictive Modeling, Machine Learning Methods, Feature Engineering, Verification And Validation, Workflow Management, Machine Learning, Supervised Learning, Statistical Machine Learning, Statistical Modeling, Scikit Learn (Machine Learning Library), Benchmarking, Random Forest Algorithm, Performance Analysis, Cost Management, Resource Utilization

    Intermediate · Course · 1 - 3 Months

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • C

    Coursera

    Evaluate Language Models: Metrics for Success

    Skills you'll gain: LLM Application, Analysis, Benchmarking, Performance Metric

    Intermediate · Course · 1 - 4 Weeks

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • U

    University of Colorado Boulder

    Model Checking with SAT and SMT

    Skills you'll gain: Graph Theory

    Beginner · Course · 1 - 4 Weeks

    Category: New
    New
    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • V

    Vanderbilt University

    AI Agents with Model Context Protocol

    Skills you'll gain: Claude Code, Prompt Engineering, Model Context Protocol, ChatGPT, Prompt Patterns, Anthropic Claude, Token Optimization, AI Workflows, Prompt Engineering Tools, Generative AI Agents, Multimodal Prompts, Agentic Workflows, AI Orchestration, AI Enablement, Generative AI, Artificial Intelligence and Machine Learning (AI/ML), AI Security, Agentic systems, AI Product Strategy, AI Personalization

    ★ 4.8 (7.9K) · Beginner · Specialization · 3 - 6 Months

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • D

    Duke University

    Large Language Model Operations (LLMOps)

    Skills you'll gain: Prompt Engineering, Databricks, Large Language Modeling, Model Deployment, LLM Application, Generative AI, Retrieval-Augmented Generation, Generative Model Architectures, Apache Airflow, Hugging Face, Amazon Bedrock, Vector Databases, Data Lakes, ChatGPT, Extract, Transform, Load, OpenAI, MLOps (Machine Learning Operations), Performance Tuning, Prompt Patterns, OpenAI API

    ★ 4.4 (313) · Beginner · Specialization · 3 - 6 Months

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • P

    Pragmatic AI Labs

    LLM Security and Vulnerabilities

    Skills you'll gain: LLM Application, Large Language Modeling, AI Security, Cyber Security Assessment, Application Security, Security Architecture Review, Threat Modeling, Security Testing, Secure Coding, Vulnerability Assessments, Software Architecture, Prompt Engineering, IT Security Architecture, Security Controls, Application Programming Interface (API), Model Training, Data Validation

    Beginner · Course · 1 - 4 Weeks

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • C

    Coursera

    Debug ML Code: Fix, Trace & Evaluate

    Skills you'll gain: Regression Testing, Debugging, Unit Testing, Test Case, Code Review, Root Cause Analysis, Software Documentation

    Intermediate · Course · 1 - 4 Weeks

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • C

    Coursera

    Model Data in Weaviate

    Skills you'll gain: Quantitative Research, Model Optimization, Prompt Engineering, Retrieval-Augmented Generation, LangChain, Python Programming

    Intermediate · Course · 1 - 4 Weeks

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • C

    Coursera

    ML: Build, Train, Justify Models

    Skills you'll gain: Model Training, Predictive Modeling, Applied Machine Learning, Machine Learning Methods, Statistical Machine Learning, Supervised Learning, Scikit Learn (Machine Learning Library), Statistical Modeling, Technical Communication

    Intermediate · Course · 1 - 4 Weeks

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • C

    Coursera

    API Development and Model Serving

    Skills you'll gain: Model Context Protocol, Load Balancing, Containerization, Docker (Software), Model Deployment, Restful API, API Design, Application Programming Interface (API), Authentications, Application Deployment, Tool Calling, Scalability, Performance Tuning, Data Validation

    Intermediate · Course · 1 - 4 Weeks

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • C

    Coursera

    Validate, Analyze, and Monitor ML Models

    Skills you'll gain: Verification And Validation, Release Management, Maintainability, Experimentation, Performance Testing, Benchmarking, Performance Analysis

    Intermediate · Course · 1 - 4 Weeks

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • C

    Coursera

    Advanced Model Architectures & Language AI

    Skills you'll gain: Classification And Regression Tree (CART), Decision Tree Learning, Large Language Modeling, Retrieval-Augmented Generation, LLM Application, Data Analysis, Applied Machine Learning, Keras (Neural Network Library), Machine Learning Methods, Model Evaluation, Model Training, Fine-tuning, Model Deployment, Generative AI, Text Mining, Prompt Engineering, Deep Learning, Random Forest Algorithm, Machine Learning, MLOps (Machine Learning Operations)

    Intermediate · Course · 3 - 6 Months

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
1234…426

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

  • Building, Optimizing, and Validating Machine Learning Models: Coursera
  • Evaluate Language Models: Metrics for Success: Coursera
  • Model Checking with SAT and SMT : University of Colorado Boulder
  • AI Agents with Model Context Protocol: Vanderbilt University
  • Large Language Model Operations (LLMOps): Duke University
  • LLM Security and Vulnerabilities: Pragmatic AI Labs
  • Debug ML Code: Fix, Trace & Evaluate: Coursera
  • Model Data in Weaviate: Coursera
  • ML: Build, Train, Justify Models: Coursera
  • API Development and Model Serving: 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