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

    Google Cloud

    Google Cloud AI Infrastructure

    Skills you'll gain: Model Deployment, Google Cloud Platform, Cloud Deployment, Cloud Infrastructure, Hardware Architecture, Infrastructure Architecture, Cloud Computing Architecture, Performance Tuning, Computer Hardware, Cloud Platforms, Artificial Intelligence, Computing Platforms, MLOps (Machine Learning Operations)

    4.3
    Rating, 4.3 out of 5 stars
    ·
    24 reviews

    Intermediate · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Applied Machine Learning: Techniques and Applications

    Skills you'll gain: Computer Vision, Model Evaluation, Supervised Learning, Image Analysis, Data Preprocessing, Applied Machine Learning, Feature Engineering, Machine Learning Algorithms, Data Processing, Machine Learning, Data Cleansing, Scikit Learn (Machine Learning Library), Data Integration, Data Transformation, Data Manipulation, Classification Algorithms

    3.7
    Rating, 3.7 out of 5 stars
    ·
    12 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    L

    LearnKartS

    Stress Management Techniques

    Skills you'll gain: Stress Management, Resilience, Personal Development, Professional Development, Workforce Development, Workforce Management, Mental Health

    4.7
    Rating, 4.7 out of 5 stars
    ·
    32 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    M

    Macquarie University

    Cyber Security: DevOps

    4.7
    Rating, 4.7 out of 5 stars
    ·
    23 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Cambridge

    Financial Accounting and Capital Markets

    Skills you'll gain: Accrual Accounting, Accruals, Financial Accounting, Financial Modeling, Accounting, Equities, Financial Market, Capital Markets, Financial Analysis, Sustainable Business, Depreciation, Financial Statements, Cash Flows, Loans, Profit and Loss (P&L) Management, Microsoft Excel, Strategic Decision-Making

    4.9
    Rating, 4.9 out of 5 stars
    ·
    7 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    C

    Corporate Finance Institute

    Advanced Tableau

    Skills you'll gain: Star Schema, Data Modeling, Tableau Software, Interactive Data Visualization, Business Intelligence, Extract, Transform, Load, Dashboard, Performance Tuning, Technical Analysis, Database Design, Data Visualization Software, Data Warehousing, Market Data, Data Transformation, Data Presentation, Investment Banking, Exploratory Data Analysis, Tree Maps, Data Storytelling, Data Visualization

    4.6
    Rating, 4.6 out of 5 stars
    ·
    33 reviews

    Advanced · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Advanced Understanding of Stocks and Bonds

    Skills you'll gain: Securities (Finance), Equities, Investments, Financial Analysis, Financial Market, Corporate Finance, Business Valuation, Financial Modeling, Finance, Return On Investment, Risk Analysis, Cash Flows, Growth Strategies

    4.6
    Rating, 4.6 out of 5 stars
    ·
    65 reviews

    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: Free Trial
    Free Trial
    K

    Khalifa University

    AI for Executives

    Skills you'll gain: Data Strategy, Customer Relationship Management (CRM) Software, AI Personalization, AI Enablement, Sales Enablement, Model Deployment, Feature Engineering, Data Governance, Responsible AI, Model Evaluation, Data Preprocessing, Transfer Learning, Data Quality, Customer Data Management, Sales Management, Artificial Intelligence, Artificial Intelligence and Machine Learning (AI/ML), Machine Learning, Reinforcement Learning, Natural Language Processing

    4.3
    Rating, 4.3 out of 5 stars
    ·
    7 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Calculus through Data & Modelling: Series and Integration

    Skills you'll gain: Calculus, Integral Calculus, Advanced Mathematics, Mathematical Theory & Analysis, Applied Mathematics, Numerical Analysis, Mathematical Modeling, Derivatives

    4.9
    Rating, 4.9 out of 5 stars
    ·
    57 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    L

    LearnQuest

    Advanced Angular Topics

    Skills you'll gain: Angular, JavaScript Frameworks, TypeScript, UI Components, Data Transformation, Web Development Tools, Hypertext Markup Language (HTML), Application Frameworks, Network Routing, Cascading Style Sheets (CSS), Model View Controller, Data Validation

    4.2
    Rating, 4.2 out of 5 stars
    ·
    15 reviews

    Beginner · Course · 1 - 4 Weeks

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

    EDUCBA

    Advanced Excel Analytics, Automation & Data Analysis

    Skills you'll gain: Excel Macros, Data Validation, Scatter Plots, Pivot Tables And Charts, Microsoft Excel, Data Visualization, Regression Analysis, Excel Formulas, Histogram, Data Analysis, Data Integrity, Descriptive Statistics, Data Visualization Software, Spreadsheet Software, Analytics, Statistical Analysis, Data Analysis Expressions (DAX), Statistical Methods, Descriptive Analytics, Automation

    4.9
    Rating, 4.9 out of 5 stars
    ·
    28 reviews

    Beginner · Specialization · 1 - 3 Months

1…208209210…389

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

  • Google Cloud AI Infrastructure: Google Cloud
  • Applied Machine Learning: Techniques and Applications: Johns Hopkins University
  • Stress Management Techniques: LearnKartS
  • Cyber Security: DevOps: Macquarie University
  • Financial Accounting and Capital Markets: University of Cambridge
  • Advanced Tableau: Corporate Finance Institute
  • Advanced Understanding of Stocks and Bonds: University of Michigan
  • Campaign Performance Reporting, Visualization, & Improvement: Unilever
  • AI for Executives: Khalifa University
  • Calculus through Data & Modelling: Series and Integration: Johns Hopkins 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