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

Results for "model checking"


  • I

    IBM

    IBM Generative AI Engineering

    Skills you'll gain: Prompt Engineering, Prompt Patterns, Data Wrangling, Large Language Modeling, LangChain, Retrieval-Augmented Generation, Exploratory Data Analysis, Unsupervised Learning, Generative Model Architectures, PyTorch (Machine Learning Library), ChatGPT, Generative AI, Restful API, Prompt Engineering Tools, LLM Application, Keras (Neural Network Library), Responsible AI, Vector Databases, Fine-tuning, Programming Principles

    ★ 4.7 (99K) · Beginner · Professional Certificate · 3 - 6 Months

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • I

    IBM

    Applied Data Science

    Skills you'll gain: Data Storytelling, Dashboard Creation, Data Presentation, Data Wrangling, Plotly, Data Visualization Software, Web Scraping, Data Visualization, Exploratory Data Analysis, Plot (Graphics), Dashboard, Interactive Data Visualization, Data Analysis, Data Import/Export, Model Evaluation, Data Science, Programming Principles, File I/O, Python Programming, Machine Learning

    ★ 4.6 (62K) · Beginner · Specialization · 3 - 6 Months

    Status: Free Trial
    Free Trial
    Category: Build toward a degree
    Build toward a degree
  • U

    University of Pennsylvania

    Finance & Quantitative Modeling for Analysts

    Skills you'll gain: Financial Reporting, Return On Investment, Financial Acumen, Financial Data, Capital Budgeting, Financial Statements, Business Modeling, Mathematical Modeling, Finance, Regression Analysis, Financial Modeling, Statistical Modeling, Income Statement, Risk Analysis, Financial Analysis, Spreadsheet Software, Predictive Modeling, Financial Forecasting, Microsoft Excel, Corporate Finance

    ★ 4.5 (17K) · Beginner · Specialization · 3 - 6 Months

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • I

    IBM

    Generative AI for Data Engineers

    Skills you'll gain: Prompt Engineering, Prompt Patterns, ChatGPT, Generative AI, Generative Model Architectures, Database Design, Data Pipelines, Query Languages, Extract, Transform, Load, Responsible AI, AI literacy, Data Warehousing, Data Ethics, Data Infrastructure, Data Architecture, Data Mining, Data Synthesis, Artificial Intelligence and Machine Learning (AI/ML), Augmented and Virtual Reality (AR/VR), Data Analysis

    ★ 4.7 (12K) · Intermediate · Specialization · 1 - 3 Months

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • I

    IBM

    Generative AI for Mobile App Developers

    Skills you'll gain: Prompt Engineering, Prompt Patterns, ChatGPT, Generative AI, Generative Model Architectures, Data Ethics, Generative AI Agents, AI Personalization, Mobile Development, AI powered creativity, Software Design Documents, Software Design, Prompt Engineering Tools, Anthropic Claude, Mobile Development Tools, LLM Application, AI literacy, iOS Development, Machine Learning Software, Software Development

    ★ 4.7 (12K) · Advanced · Specialization · 3 - 6 Months

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • I

    IBM

    Generative AI for Human Resources (HR) Professionals

    Skills you'll gain: Prompt Engineering, Prompt Patterns, ChatGPT, Generative AI, Generative Model Architectures, Responsible AI, HR Tech, Human Resources Software, Human Resources Management and Planning, Human Resources, Workforce Planning, Human Resource Strategy, AI literacy, Human Resource Management, Artificial Intelligence and Machine Learning (AI/ML), Artificial Intelligence, Augmented and Virtual Reality (AR/VR), Employee Engagement, Recruitment, Machine Learning

    ★ 4.7 (12K) · Intermediate · Specialization · 1 - 3 Months

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • I

    IBM

    Generative AI for Project Managers

    Skills you'll gain: Prompt Engineering, Prompt Patterns, ChatGPT, Generative AI, Responsible AI, Generative Model Architectures, Google Gemini, AI literacy, Project Management, LLM Application, AI Enablement, Project Management Life Cycle, Data Ethics, Case Studies, Artificial Intelligence and Machine Learning (AI/ML), Artificial Intelligence, Project Documentation, Augmented and Virtual Reality (AR/VR), Automation, Machine Learning

    ★ 4.7 (12K) · Intermediate · Specialization · 1 - 3 Months

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • I

    IBM

    Generative AI for Product Managers

    Skills you'll gain: Prompt Engineering, Prompt Patterns, AI Product Strategy, ChatGPT, Generative AI, Generative Model Architectures, Commercialization, Product Management, AI Enablement, Google Gemini, Product Lifecycle Management, Stakeholder Communications, Technical Product Management, AI literacy, Customer experience improvement, Team Building, Responsible AI, Stakeholder Engagement, Artificial Intelligence, Creativity

    ★ 4.7 (12K) · Intermediate · Specialization · 1 - 3 Months

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • I

    IBM

    IBM Java Developer

    Skills you'll gain: Software Development Life Cycle, Cloud-Native Computing, Software Architecture, Hibernate (Java), Database Design, Responsive Web Design, Docker (Software), Containerization, Git (Version Control System), GitHub, Object Oriented Programming (OOP), CI/CD, Restful API, Data Ethics, Java Programming, Model Deployment, Version Control, Database Management, Software Development, Software Design

    ★ 4.6 (7.6K) · Beginner · Professional Certificate · 3 - 6 Months

    Status: Free Trial
    Free Trial
    Category: AI skills
    AI skills
    Category: Credit offered
    Credit offered
  • I

    IBM

    Data Science Methodology

    Skills you'll gain: Jupyter, Data Modeling, Model Deployment, Data Science, Data Preprocessing, Data Cleansing, Classification And Regression Tree (CART), Business Research, Data Mining, Data Manipulation, Model Evaluation, Model Training, Data Quality, Data Analysis, Business Requirements, Data Collection, Decision Tree Learning, Data Storytelling

    ★ 4.6 (21K) · Beginner · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • I

    IBM

    Generative AI for Digital Marketing

    Skills you'll gain: Prompt Engineering, Responsible AI, Generative Engine Optimization (GEO), Prompt Patterns, ChatGPT, Generative AI, Digital Advertising, Generative Model Architectures, Email Automation, Email Marketing, Content Performance Analysis, Data Ethics, Digital Marketing, Search Engine Optimization, Personalized Campaigns, Marketing Automation, Content Optimization, Digital Marketing Tools, AI Personalization, AI literacy

    ★ 4.7 (12K) · Beginner · Specialization · 1 - 3 Months

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • D

    DeepLearning.AI

    Machine Learning in Production

    Skills you'll gain: Model Deployment, MLOps (Machine Learning Operations), Application Deployment, Model Training, Continuous Deployment, Model Evaluation, Data Preprocessing, Model Optimization, Machine Learning, Applied Machine Learning, Data Validation, Data Integrity, Data Maintenance, Data Quality, Data Synthesis, Data Collection, System Monitoring, Continuous Monitoring, Unstructured Data

    ★ 4.8 (3.4K) · Intermediate · Course · 1 - 4 Weeks

    Category: Credit offered
    Credit offered
1…212223…425

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

  • IBM Generative AI Engineering: IBM
  • Applied Data Science: IBM
  • Finance & Quantitative Modeling for Analysts: University of Pennsylvania
  • Generative AI for Data Engineers: IBM
  • Generative AI for Mobile App Developers: IBM
  • Generative AI for Human Resources (HR) Professionals: IBM
  • Generative AI for Project Managers: IBM
  • Generative AI for Product Managers: IBM
  • IBM Java Developer: IBM
  • Data Science Methodology: IBM

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