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

Results for "model+checking"


  • 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
    ·
    903 reviews

    Beginner · Course · 1 - 4 Weeks

  • P

    Packt

    GenAI for QA - Masterclass in Testing & Automation

    Skills you'll gain: Prompt Engineering, API Testing, Selenium (Software), Test Automation, Test Script Development, Acceptance Testing, Software Testing, Test Case, Generative AI Agents, Functional Testing, Quality Assurance, Artificial Intelligence, Debugging

    Intermediate · Course · 1 - 3 Months

  • 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
    ·
    55 reviews

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Securing Applications with Checkmarx

    Skills you'll gain: Secure Coding, Open Web Application Security Project (OWASP), DevSecOps, Security Testing, Application Security, Vulnerability Scanning, Vulnerability Assessments, Vulnerability Management, CI/CD, Continuous Monitoring, Docker (Software), Technical Communication, Computer Programming

    Intermediate · Course · 1 - 4 Weeks

  • U

    University of California, Santa Cruz

    Cyber-Physical Systems: Modeling and Simulation

    Skills you'll gain: Systems Design, Model Based Systems Engineering, Cyber Engineering, Mathematical Modeling, Simulations, Control Systems, Embedded Systems, Systems Analysis, Computational Logic, Digital Communications

    4.6
    Rating, 4.6 out of 5 stars
    ·
    53 reviews

    Intermediate · Course · 1 - 4 Weeks

  • E

    Edureka

    Prompt Engineering for LLMs

    Skills you'll gain: Prompt Engineering, Multimodal Prompts, Prompt Patterns, Prompt Engineering Tools, LLM Application, LangChain, Large Language Modeling, Responsible AI, Generative AI Agents, OpenAI, Generative AI, AI Personalization, Context Management, Natural Language Processing, CI/CD, Python Programming, Pandas (Python Package), Scalability, Application Development, Safety and Security

    Beginner · Course · 1 - 4 Weeks

  • A

    Alex Genadinik

    AI Errors & Hallucinations: Debugging & Fact-Checking

    Skills you'll gain: Prompt Engineering, Debugging, Claude Code, Responsible AI, Verification And Validation, ChatGPT, Artificial Intelligence, Development Testing, Software Testing

    Mixed · Course · 1 - 4 Weeks

  • P

    Packt

    Build with LLMs: Prompt Engineering & Real AI Projects

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

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Validate and Explain Your ML Models

    Skills you'll gain: Verification And Validation, Sampling (Statistics), Performance Testing, Statistical Machine Learning, Test Data, Machine Learning

    Intermediate · Course · 1 - 4 Weeks

  • 2

    28DIGITAL

    Automated Reasoning: Symbolic Model Checking

    Skills you'll gain: Computational Logic, Theoretical Computer Science, Model Evaluation, Systems Analysis, Graph Theory, Verification And Validation, Algorithms, Data Structures

    4.7
    Rating, 4.7 out of 5 stars
    ·
    26 reviews

    Intermediate · Course · 1 - 4 Weeks

  • E

    Edureka

    Fine-Tuning & Optimizing Large Language Models

    Skills you'll gain: Model Evaluation, LLM Application, Large Language Modeling, Prompt Engineering, Hugging Face, Transfer Learning, Context Management

    Beginner · Course · 1 - 3 Months

  • C

    Coursera

    ML: Build, Train, Justify Models

    Skills you'll gain: Predictive Modeling, Applied Machine Learning, Supervised Learning, Scikit Learn (Machine Learning Library), Statistical Modeling, Decision Tree Learning, Report Writing

    Intermediate · Course · 1 - 4 Weeks

1…456…9

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

  • MBSE: Model-Based Systems Engineering : University at Buffalo
  • GenAI for QA - Masterclass in Testing & Automation: Packt
  • Model Context Protocol (MCP) Mastery: Fractal Analytics
  • Securing Applications with Checkmarx: Coursera
  • Cyber-Physical Systems: Modeling and Simulation: University of California, Santa Cruz
  • Prompt Engineering for LLMs: Edureka
  • AI Errors & Hallucinations: Debugging & Fact-Checking: Alex Genadinik
  • Build with LLMs: Prompt Engineering & Real AI Projects: Packt
  • Validate and Explain Your ML Models: Coursera
  • Automated Reasoning: Symbolic Model Checking: 28DIGITAL

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