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

Results for "model checking"


  • Status: Free Trial
    Free Trial
    E

    EDUCBA

    Apply US GAAP: Prepare & Evaluate Financial Statements

    Skills you'll gain: Financial Reporting, Generally Accepted Accounting Principles (GAAP), Financial Statements, Financial Statement Analysis, Balance Sheet, Income Statement, Cash Flows, Revenue Recognition, Inventory Accounting, Fixed Asset, Depreciation, Accounts Receivable

    4.9
    Rating, 4.9 out of 5 stars
    ·
    10 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    P

    Pearson

    Data Science Fundamentals, Part 1

    Skills you'll gain: Extract, Transform, Load, Data Validation, Data Transformation, Applied Machine Learning, Object-Relational Mapping, Data Wrangling, Data Cleansing, Data Manipulation, Data Integration, Web Scraping, Data Quality, Data Pipelines, Pandas (Python Package), Descriptive Statistics, Data Modeling, Data Science, Python Programming, Scikit Learn (Machine Learning Library), Extensible Markup Language (XML), Data Analysis

    4
    Rating, 4 out of 5 stars
    ·
    6 reviews

    Beginner · Specialization · 1 - 4 Weeks

  • P

    Packt

    PowerShell for Automating Administration

    Skills you'll gain: Windows PowerShell, Scripting, Automation, Windows Servers, Data Validation, Server Administration, Administration, Software Installation, Cloud Deployment, Service Management, Remote Access Systems, Extensible Markup Language (XML), Debugging

    2.8
    Rating, 2.8 out of 5 stars
    ·
    8 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    C

    Coursera

    Machine Learning in Retail

    Skills you'll gain: Customer Analysis, Unsupervised Learning, Customer Insights, Marketing Analytics, Applied Machine Learning, Data Analysis, Web Analytics, Retail Store Operations, Machine Learning, Machine Learning Algorithms, Histogram, Decision Tree Learning, Model Evaluation, Pandas (Python Package)

    4.9
    Rating, 4.9 out of 5 stars
    ·
    9 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    K

    Khalifa University

    AI for Executives: The Basics

    Skills you'll gain: Data Strategy, Model Deployment, Data Governance, Model Evaluation, Transfer Learning, Data Quality, Data-Driven Decision-Making, Business Leadership, Predictive Analytics, Machine Learning, Strategic Decision-Making, Artificial Intelligence, Large Language Modeling, Classification Algorithms, Regression Analysis, Decision Tree Learning

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    I

    Indian Institute of Technology Guwahati

    Essentials of Additive Manufacturing

    Skills you'll gain: Manufacturing Processes, Computer-Aided Design, 3D Modeling, Industrial Design, Product Engineering, Materials science, Process Engineering, Mechanical Engineering, Prototyping, Manufacturing Standards

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    M

    Microsoft

    Intermediate C++ Programming Techniques

    Skills you'll gain: C++ (Programming Language), API Design, Software Architecture, Software Design, Maintainability, Data Structures, Object Oriented Programming (OOP), Generative AI Agents, Data Validation, Performance Tuning, Application Frameworks, System Programming, Algorithms, Debugging

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    S

    Simplilearn

    LangChain Course for LLM Application Development

    Skills you'll gain: LangChain, LLM Application, Retrieval-Augmented Generation, Embeddings, Large Language Modeling, Hugging Face, AI Workflows, Context Management, Generative AI Agents, Vector Databases, Prompt Engineering, Semantic Web

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Naive Bayes 101: Resume Selection with Machine Learning

    Skills you'll gain: Data Visualization, Matplotlib, Plot (Graphics), Exploratory Data Analysis, Text Mining, Model Evaluation, Classification Algorithms, Applied Machine Learning, Data Cleansing, Scikit Learn (Machine Learning Library), Data Preprocessing, Natural Language Processing, Machine Learning, Unstructured Data, Data Analysis, Data Manipulation, Python Programming, Computer Science

    4.5
    Rating, 4.5 out of 5 stars
    ·
    17 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: New
    New
    Status: Free Trial
    Free Trial
    E

    Edureka

    Building RAG and MCP Servers with Claude

    Skills you'll gain: Retrieval-Augmented Generation, Model Context Protocol, Agentic Workflows, AI Orchestration, Generative AI Agents, Anthropic Claude, Prompt Engineering, Tool Calling, Generative AI, Automation, Scalability, Application Programming Interface (API), Servers, Python Programming

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    M

    Microsoft

    Working with large language models using Azure

    Skills you'll gain: Generative Model Architectures, ChatGPT, AI Security, Semantic Web, Vector Databases

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    C

    Corporate Finance Institute

    Classification - Fundamentals & Practical Applications

    Skills you'll gain: Classification Algorithms, Model Evaluation, Machine Learning Algorithms, Logistic Regression, Predictive Modeling, Applied Machine Learning, Machine Learning Methods, Supervised Learning, Data Modeling, Analytics, Analysis, Data Analysis, Business Metrics, Feature Engineering, Advanced Analytics, Machine Learning, Scikit Learn (Machine Learning Library), Performance Metric, Data Visualization, Exploratory Data Analysis

    4.3
    Rating, 4.3 out of 5 stars
    ·
    6 reviews

    Advanced · Course · 1 - 3 Months

1…236237238…390

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

  • Apply US GAAP: Prepare & Evaluate Financial Statements: EDUCBA
  • Data Science Fundamentals, Part 1: Pearson
  • PowerShell for Automating Administration: Packt
  • Machine Learning in Retail: Coursera
  • AI for Executives: The Basics: Khalifa University
  • Essentials of Additive Manufacturing: Indian Institute of Technology Guwahati
  • Intermediate C++ Programming Techniques: Microsoft
  • LangChain Course for LLM Application Development: Simplilearn
  • Naive Bayes 101: Resume Selection with Machine Learning: Coursera
  • Building RAG and MCP Servers with Claude: Edureka

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