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

Results for "model checking"


  • E

    EDUCBA

    Apply Advanced SQL Server Analytics and Programming

    Skills you'll gain: Data-Driven Decision-Making, Database Design, Data Processing, Scripting Languages, Scripting, Data Structures

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Essential Manager Skills

    Skills you'll gain: Delegation Skills, Milestones (Project Management), Productivity, Microsoft Project, Team Motivation, Timelines, Accountability, Project Management, Management Training And Development, Conflict Management, Team Leadership, Stakeholder Communications, Team Management, Crisis Management, Culture Transformation, Dashboard, Lean Methodologies, Time Management, Constructive Feedback, Smart Goals

    4.5
    Rating, 4.5 out of 5 stars
    ·
    192 reviews

    Beginner · Specialization · 3 - 6 Months

  • C

    Coursera

    Integrate and Optimize AI Services Seamlessly

    Skills you'll gain: Cloud Deployment, Continuous Deployment, System Monitoring, API Testing, Restful API, Site Reliability Engineering, Machine Learning

    Intermediate · Course · 1 - 4 Weeks

  • N

    National Taiwan University

    Operations Research

    Skills you'll gain: Operations Research, Mathematical Modeling, Process Optimization, Report Writing, Applied Mathematics, Network Model, Process Improvement and Optimization, Business Modeling, Industrial Engineering, Linear Algebra, Numerical Analysis, Operations Management, Applied Machine Learning, Resource Allocation, Case Studies, Engineering Calculations, Algorithms, Feasibility Studies, Project Design, Business Analytics

    4.8
    Rating, 4.8 out of 5 stars
    ·
    724 reviews

    Beginner · Specialization · 3 - 6 Months

  • C

    Coursera

    Jira Essentials: Beginner-Intermediate Mastery

    Skills you'll gain: Jira (Software), Responsible AI, Agile Methodology, Issue Tracking, Agile Project Management, Continuous Improvement Process, Workflow Management, Model Evaluation, Product Roadmaps, Test Case, AI Enablement, Verification And Validation, Automation, AI Personalization, Generative AI, Generative AI Agents, Software Testing, Configuration Management, Project Portfolio Management, Dashboard

    Beginner · Professional Certificate · 3 - 6 Months

  • S

    Starweaver

    Valuation and Investment Analysis

    Skills you'll gain: Financial Modeling, Business Valuation, Capital Budgeting, Risk Analysis, Financial Analysis, Investment Management, Excel Formulas, Data-Driven Decision-Making, Microsoft Excel, Corporate Finance, Financial Forecasting, Cash Flow Forecasting, Cash Flows, Financial Systems, Responsible AI, Simulation and Simulation Software, AI Enablement, Accounting

    Beginner · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Design and Assemble an Oil Tank in SolidWorks

    Skills you'll gain: SolidWorks (CAD), Mechanical Design, Assembly Drawing, 3D Modeling, Computer-Aided Design, Integration Testing, Technical Design, Industrial Design, Functional Design, Structural Engineering

    Intermediate · Course · 1 - 4 Weeks

  • U

    University of Pennsylvania

    AI Fundamentals for Non-Data Scientists

    Skills you'll gain: Generative AI, Big Data, Machine Learning Algorithms, Generative Adversarial Networks (GANs), Machine Learning, Customer Data Management, Autoencoders, Artificial Intelligence, Deep Learning, Model Evaluation, Algorithms, Process Optimization, Data Analysis, Artificial Neural Networks

    4.8
    Rating, 4.8 out of 5 stars
    ·
    1K reviews

    Mixed · Course · 1 - 3 Months

  • P

    Pragmatic AI Labs

    Databricks Lakehouse Fundamentals

    Skills you'll gain: Databricks, Data Lakes, Data Engineering, Data Wrangling, Apache Spark, Data Access, Data Processing, Data Warehousing, Data Architecture, Data Management, Data Synthesis, Data Science, Data Mining, Data Integrity, Data Modeling, Data Presentation, Data Entry, Data Storage, SQL, Python Programming

    Beginner · Course · 1 - 4 Weeks

  • D

    Duke University

    AI Product Management

    Skills you'll gain: Deep Learning, MLOps (Machine Learning Operations), Responsible AI, Model Evaluation, Data Ethics, Data Management, Project Management Life Cycle, Unsupervised Learning, Human Computer Interaction, User Experience Design, Classification And Regression Tree (CART), Data Quality, Model Deployment, Data Preprocessing, Human Centered Design, Machine Learning, Project Management, Product Management, Product Design, Data Science

    4.7
    Rating, 4.7 out of 5 stars
    ·
    1.1K reviews

    Beginner · Specialization · 3 - 6 Months

  • C

    Coursera

    Master Agentic AI: Core Principles & Real-World PC

    Skills you'll gain: Threat Modeling, Feature Engineering, Anomaly Detection, Data Visualization, Data Presentation, MLOps (Machine Learning Operations), Agentic Workflows, AI Security, A/B Testing, Open Web Application Security Project (OWASP), Software Engineering, Data Ethics, Responsible AI, Technical Communication, Security Testing, Security Requirements Analysis, Agentic systems, Continuous Monitoring, CI/CD, Reinforcement Learning

    Intermediate · Professional Certificate · 3 - 6 Months

  • U

    University of Michigan

    Introduction to Thermodynamics: Transferring Energy from Here to There

    Skills you'll gain: Mechanical Engineering, Thermal Management, Engineering, Energy and Utilities, Physics, Engineering Analysis, Systems Of Measurement, Physical Science, Process Analysis, Environmental Issue

    4.8
    Rating, 4.8 out of 5 stars
    ·
    3.5K reviews

    Beginner · Course · 1 - 3 Months

1…707172…377

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

  • Apply Advanced SQL Server Analytics and Programming: EDUCBA
  • Essential Manager Skills: Coursera
  • Integrate and Optimize AI Services Seamlessly: Coursera
  • Operations Research: National Taiwan University
  • Jira Essentials: Beginner-Intermediate Mastery: Coursera
  • Valuation and Investment Analysis: Starweaver
  • Design and Assemble an Oil Tank in SolidWorks: EDUCBA
  • AI Fundamentals for Non-Data Scientists: University of Pennsylvania
  • Databricks Lakehouse Fundamentals: Pragmatic AI Labs
  • AI Product Management: Duke 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