• 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
    V

    Vanderbilt University

    ChatGPT + Cybersecurity: AI-Powered Tabletops & Training

    Skills you'll gain: Crisis Management, Incident Response, ChatGPT, Generative AI, AI Enablement, Cross-Functional Collaboration, Prompt Engineering, Cybersecurity, Scenario Testing, Hardening, Complex Problem Solving, Discussion Facilitation, Decision Making, Performance Analysis

    4.9
    Rating, 4.9 out of 5 stars
    ·
    30 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free
    Free
    J

    Johns Hopkins University

    Public Health in Humanitarian Crises 2

    Skills you'll gain: Maternal Health, Epidemiology, Public Health, Crisis Intervention, Infectious Diseases, Surveys, Community Health, Sanitation, Emergency Response, Mental Health, Infant Care, Ethical Standards And Conduct, Nutrition Education

    4.8
    Rating, 4.8 out of 5 stars
    ·
    125 reviews

    Beginner · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Web Analytics & Reporting

    Skills you'll gain: Google Analytics, Web Analytics, Marketing Effectiveness, Marketing Analytics, Content Performance Analysis, Web Analytics and SEO, Looker (Software), Google Ads, Data Visualization, Data Visualization Software, Marketing Automation, Customer Insights, Campaign Management, Data-Driven Decision-Making, Business Reporting, Performance Reporting, Trend Analysis, Data Validation, Statistical Analysis, Key Performance Indicators (KPIs)

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Pennsylvania

    企业金融概论(中文版)

    Skills you'll gain: Return On Investment, Capital Budgeting, Finance, Financial Modeling, Corporate Finance, Financial Management, Financial Analysis, Business Valuation, Financial Market, Cash Flows, Securities (Finance), Asset Management

    4.6
    Rating, 4.6 out of 5 stars
    ·
    49 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of Toronto

    The 360º Corporation: Tools for Achieving Corporate Purpose

    Skills you'll gain: Corporate Sustainability, Environmental Social And Corporate Governance (ESG), Business Ethics, Stakeholder Management, Corporate Strategy, Business Transformation, Governance, Business Leadership, Sustainable Business, Social Impact, Innovation, Stakeholder Analysis, Leadership

    4.8
    Rating, 4.8 out of 5 stars
    ·
    74 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    C

    Campus BBVA

    Cybersecurity for Tech Professionals

    Skills you'll gain: Computer Security Incident Management, Cybersecurity, Cyber Attacks, Incident Response, Crisis Management, Security Information and Event Management (SIEM), Data Security, Fraud detection, Network Security, Security Awareness, Threat Detection, Payment Systems, Identity and Access Management, Mobile Security, Virtual Private Networks (VPN), Authentications

    4.7
    Rating, 4.7 out of 5 stars
    ·
    192 reviews

    Intermediate · Course · 1 - 3 Months

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

    EDUCBA

    AutoCAD Architectural Design & Residential Planning

    Skills you'll gain: Architectural Drawing, AutoCAD, Architectural Design, Technical Drawing, Engineering Drawings, Civil and Architectural Engineering, Drafting and Engineering Design, Computer-Aided Design, Building Design, As-Built Drawings, AutoCAD Civil 3D, Architectural Engineering, Structural Engineering, Electrical Wiring, Structural Analysis, Functional Design, Conceptual Design, Layout Design, Construction Estimating, 3D Modeling

    4.8
    Rating, 4.8 out of 5 stars
    ·
    23 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    C

    CertNexus

    Finalize a Data Science Project

    Skills you'll gain: Machine Learning, Data Storytelling, Stakeholder Engagement, Data Presentation, Stakeholder Communications, MLOps (Machine Learning Operations), Web Applications, Model Deployment, Project Closure, Data-Driven Decision-Making, Data Visualization, Data Science, Communication, Automation

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    Unilever

    Campaign Performance Reporting, Visualization, & Improvement

    Skills you'll gain: Data Storytelling, Marketing Effectiveness, Marketing Analytics, Market Analysis, Advertising Campaigns, Marketing Strategies, Performance Reporting, Return On Investment, Performance Measurement, Data Visualization Software, Data Ethics, Marketing Channel, Smart Goals, Key Performance Indicators (KPIs), Cross-Channel Marketing, Data Access, Data Quality

    4.6
    Rating, 4.6 out of 5 stars
    ·
    43 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Preview
    Preview
    C

    Coursera

    Copilot Studio

    Skills you'll gain: Prompt Engineering, Microsoft Copilot, AI Workflows, AI Enablement, Generative AI Agents, Model Deployment, No-Code Development, Performance Tuning, Business Logic, Application Deployment, Scalability, Data Integration, User Feedback

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    M

    Microsoft

    Advanced Data Analysis with Generative AI

    Skills you'll gain: Generative AI, Anomaly Detection, Predictive Modeling, Text Mining, Predictive Analytics, Advanced Analytics, Data Cleansing, Prompt Engineering, Natural Language Processing, Unstructured Data, Data Analysis, Data Preprocessing, Statistical Analysis, Time Series Analysis and Forecasting, Model Evaluation, Exploratory Data Analysis

    4.6
    Rating, 4.6 out of 5 stars
    ·
    45 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of California, Irvine

    Salesforce Integration

    Skills you'll gain: Salesforce, Data Quality, Data Modeling, Data Integration, Business Process Automation, Data Cleansing, Data Management, Business Process, User Accounts, Dashboard, Data Import/Export, Automation, Identity and Access Management, Business Reporting, Data Security, Cloud Computing

    4
    Rating, 4 out of 5 stars
    ·
    24 reviews

    Beginner · Course · 1 - 4 Weeks

1…178179180…387

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

  • ChatGPT + Cybersecurity: AI-Powered Tabletops & Training: Vanderbilt University
  • Public Health in Humanitarian Crises 2: Johns Hopkins University
  • Web Analytics & Reporting: Coursera
  • 企业金融概论(中文版): University of Pennsylvania
  • The 360º Corporation: Tools for Achieving Corporate Purpose: University of Toronto
  • Cybersecurity for Tech Professionals: Campus BBVA
  • AutoCAD Architectural Design & Residential Planning: EDUCBA
  • Finalize a Data Science Project: CertNexus
  • Campaign Performance Reporting, Visualization, & Improvement: Unilever
  • Copilot Studio: Coursera

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