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

Results for "model checking"


  • U

    Universidad de los Andes

    Creación de diagramas de clases UML en GenMyModel

    Skills you'll gain: Unified Modeling Language, Diagram Design, Object Oriented Design, Object Oriented Programming (OOP), Software Engineering, Software Design

    Intermediate · Guided Project · Less Than 2 Hours

  • B

    Birla Institute of Technology & Science, Pilani

    Logic for Computer Science

    Skills you'll gain: Computational Logic, Logical Reasoning, Deductive Reasoning, Theoretical Computer Science, Analytical Skills, Programming Principles, Computer Science, Data Analysis, Computer Programming, Algorithms, Verification And Validation, Systems Analysis, Software Development, Machine Learning

    Beginner · Course · 1 - 3 Months

  • I

    Imperial College London

    Developing the SIR Model

    Skills you'll gain: Epidemiology, Infectious Diseases, Mathematical Modeling, Public Health, R Programming, Differential Equations

    4.9
    Rating, 4.9 out of 5 stars
    ·
    274 reviews

    Intermediate · Course · 1 - 4 Weeks

  • C

    Cisco Learning and Certifications

    Introducing Model-Driven Programmability

    Skills you'll gain: Software-Defined Networking, YAML, Network Architecture, Network Protocols, Network Routing, Computer Networking, Data Modeling, Extensible Markup Language (XML), JSON, Automation, Application Programming Interface (API)

    4.8
    Rating, 4.8 out of 5 stars
    ·
    14 reviews

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Start Neural Networks Advanced Model Architectures

    Skills you'll gain: Model Evaluation, Keras (Neural Network Library), Technical Documentation, Artificial Neural Networks, PyTorch (Machine Learning Library), Deep Learning, Data Analysis, Applied Machine Learning, Network Architecture, Supervised Learning

    Intermediate · Course · 1 - 4 Weeks

  • P

    Packt

    Applied Machine Learning and Model Optimization

    Skills you'll gain: Supervised Learning, Feature Engineering, Applied Machine Learning, Unsupervised Learning, Model Evaluation, Machine Learning Algorithms, Predictive Modeling, Data Preprocessing, Classification Algorithms, Artificial Intelligence and Machine Learning (AI/ML), Dimensionality Reduction, Performance Tuning

    Advanced · Course · 1 - 3 Months

  • J

    John Wiley & Sons

    Product Operating Model and Business Transformation

    Skills you'll gain: Product Strategy, Business Transformation, Cross-Functional Collaboration, Product Management, Organizational Change, Organizational Leadership, Product Development, Digital Transformation, Product Roadmaps, Leadership, Design Thinking, Innovation, Agile Methodology, Stakeholder Engagement, Data-Driven Decision-Making

    Intermediate · Course · 1 - 3 Months

  • I

    IBM

    AI Workflow: Enterprise Model Deployment

    Skills you'll gain: Model Deployment, Apache Spark, Data Pipelines, MLOps (Machine Learning Operations), PySpark, IBM Cloud, Jupyter, Docker (Software), Machine Learning, Data Science, Python Programming, Scalability, Design Thinking

    4.3
    Rating, 4.3 out of 5 stars
    ·
    60 reviews

    Advanced · Course · 1 - 4 Weeks

  • I

    Illinois Tech

    Model Diagnostics and Remedial Measures

    Skills you'll gain: Model Evaluation, Data Validation, Regression Analysis, Exploratory Data Analysis, Plot (Graphics), Statistical Modeling, Data Transformation, Correlation Analysis, Statistical Analysis, R Programming, Time Series Analysis and Forecasting, Statistical Inference, Statistical Hypothesis Testing, Probability Distribution

    Build toward a degree

    4.9
    Rating, 4.9 out of 5 stars
    ·
    11 reviews

    Intermediate · Course · 1 - 4 Weeks

  • V

    Vanderbilt University

    AI Agents with Model Context Protocol

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

    4.3
    Rating, 4.3 out of 5 stars
    ·
    6 reviews

    Beginner · Course · 1 - 3 Months

  • A

    Anthropic

    Model Context Protocol: Advanced Topics

    Skills you'll gain: Model Context Protocol, Web Servers, Cloud Deployment

    Mixed · Course · 1 - 4 Weeks

  • C

    Coursera

    Production AI Model Development and Ethics

    Skills you'll gain: Responsible AI, Model Deployment, Feature Engineering, MLOps (Machine Learning Operations), Model Evaluation, Data Ethics, PyTorch (Machine Learning Library), Artificial Intelligence and Machine Learning (AI/ML), Scikit Learn (Machine Learning Library), Data Preprocessing, Machine Learning, Data Pipelines, Deep Learning, Software Documentation, Technical Documentation, Scalability

    Intermediate · Course · 1 - 4 Weeks

Searches related to model checking

temporal logic model checking
quantitative model checking
1…91011…370

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

  • Creación de diagramas de clases UML en GenMyModel: Universidad de los Andes
  • Logic for Computer Science: Birla Institute of Technology & Science, Pilani
  • Developing the SIR Model: Imperial College London
  • Introducing Model-Driven Programmability: Cisco Learning and Certifications
  • Start Neural Networks Advanced Model Architectures: Coursera
  • Applied Machine Learning and Model Optimization: Packt
  • Product Operating Model and Business Transformation: John Wiley & Sons
  • AI Workflow: Enterprise Model Deployment: IBM
  • Model Diagnostics and Remedial Measures: Illinois Tech
  • AI Agents with Model Context Protocol: Vanderbilt University

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