• 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, Workflow Management, Verification And Validation, 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
  • 2

    28DIGITAL

    Quantitative Model Checking

    Skills you'll gain: Computational Logic, Markov Model, Verification And Validation, Theoretical Computer Science, Mathematical Modeling, Systems Analysis, Process Modeling, Probability, Algorithms, Probability Distribution, Logical Reasoning

    ★ 4.3 (54) · Intermediate · Course · 1 - 3 Months

    Category: Credit offered
    Credit offered
  • C

    Coursera

    Training, Evaluating, and Monitoring Machine Learning Models

    Skills you'll gain: Model Evaluation, Model Training, MLOps (Machine Learning Operations), System Monitoring, Continuous Monitoring, Model Deployment, Verification And Validation, Performance Metric, A/B Testing, Statistical Methods, Failure Analysis, Statistical Hypothesis Testing, Applied Machine Learning, Statistical Analysis, Scikit Learn (Machine Learning Library), Benchmarking

    Intermediate · Course · 1 - 3 Months

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

    Birla Institute of Technology & Science, Pilani

    Automata and Computability

    Skills you'll gain: Theoretical Computer Science, Computational Logic, Mathematical Theory & Analysis, Algorithms, Computational Thinking, Programming Principles, Computer Science, Graph Theory, Deductive Reasoning, Natural Language Processing, Logical Reasoning, Formal Learning

    Intermediate · Course · 1 - 3 Months

    Category: New
    New
    Category: Build toward a degree
    Build toward a degree
  • U

    University of California, Santa Cruz

    AI Agent Architecture with the Model Context Protocol

    Skills you'll gain: Retrieval-Augmented Generation, Model Context Protocol, Generative AI Agents, AI Integrations, Agentic systems, Context Engineering, Agentic Workflows, Application Deployment, Token Optimization, Tool Calling, LLM Application, Context Management, Enterprise Architecture, Responsible AI, Model Evaluation, Large Language Modeling, Memory Management, Routing Protocols

    Beginner · Course · 1 - 3 Months

    Category: New
    New
    Category: Preview
    Preview
    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

    Analyze Cases & Evaluate Models in Finance

    Skills you'll gain: Data Storytelling, Financial Auditing, Financial Modeling, Data Presentation, Auditing, Case Studies, Financial Analysis, Financial Data, Quality Assurance, Risk Analysis, Analysis, Model Evaluation, Storytelling, Quality Assessment, Critical Thinking, Verification And Validation, Financial Reporting, Investigation, Due Diligence, Business Valuation

    Intermediate · Course · 1 - 4 Weeks

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • 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 (58) · Beginner · Course · 1 - 4 Weeks

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

    Whizlabs

    Prompt Engineering Generative AI & LLM Models Fundamentals

    Skills you'll gain: Prompt Engineering, Large Language Modeling, Prompt Patterns, Fine-tuning, Generative AI, Generative Model Architectures, LLM Application, Retrieval-Augmented Generation, Model Training, Natural Language Processing, Model Evaluation, Data Cleansing, Model Optimization

    Intermediate · Course · 1 - 4 Weeks

    Category: New
    New
    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • P

    Packt

    Build with LLMs: Prompt Engineering & Real AI Projects

    Skills you'll gain: Prompt Engineering, Prompt Patterns, Token Optimization, LLM Application, Large Language Modeling, Generative AI, AI Workflows, AI Integrations, Application Programming Interface (API), Git (Version Control System)

    Intermediate · Course · 1 - 4 Weeks

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

    Packt

    GenAI for QA - Masterclass in Testing & Automation

    Skills you'll gain: Prompt Engineering, Prompt Engineering Tools, API Testing, Test Automation, Test Script Development, Prompt Patterns, Test Tools, Claude Code, Software Testing, Test Case, AI Integrations, Functional Testing, Quality Assurance, GitHub Copilot, Application Programming Interface (API), Restful API, Test Data, Automation, AI Security, Debugging

    Intermediate · Course · 1 - 3 Months

    Category: New
    New
    Category: Credit offered
    Credit offered
  • 2

    28DIGITAL

    Automated Reasoning: Symbolic Model Checking

    Skills you'll gain: Computational Logic, Theoretical Computer Science, Verification And Validation, Algorithms, Data Structures

    ★ 4.7 (26) · Intermediate · Course · 1 - 4 Weeks

    Category: Credit offered
    Credit offered
1234…9

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

  • Building, Optimizing, and Validating Machine Learning Models: Coursera
  • Quantitative Model Checking: 28DIGITAL
  • Training, Evaluating, and Monitoring Machine Learning Models: Coursera
  • Automata and Computability: Birla Institute of Technology & Science, Pilani
  • AI Agent Architecture with the Model Context Protocol: University of California, Santa Cruz
  • LLM Security and Vulnerabilities: Pragmatic AI Labs
  • Analyze Cases & Evaluate Models in Finance: Coursera
  • Modeling and Simulation with Simulink : MathWorks
  • Prompt Engineering Generative AI & LLM Models Fundamentals: Whizlabs
  • Build with LLMs: Prompt Engineering & Real AI Projects: Packt

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