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

Results for "model checking"


  • M

    Michigan State University

    Concept Art for Video Games

    Skills you'll gain: 3D Modeling, 3D Assets, Computer Graphics, Visualization (Computer Graphics), Video Game Development, Adobe Photoshop, Animation and Game Design, Conceptual Design, Photo Editing, Computer Graphic Techniques, Visual Storytelling, Graphic and Visual Design, Data Import/Export, Design Elements And Principles, Color Theory

    ★ 4.6 (115) · Mixed · Course · 1 - 3 Months

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

    California Institute of the Arts

    Building Your Freelancing Career Capstone

    Skills you'll gain: Business Planning, Risk Management, Risk Mitigation, Business Strategy, Peer Review, Financial Modeling, Entrepreneurship, Business Development, Financial Forecasting, Brand Strategy, Branding, Financial Planning, Service Design

    ★ 4.8 (33) · Intermediate · Course · 1 - 3 Months

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

    Coursera

    LLM Optimization & Evaluation

    Skills you'll gain: Apache Airflow, MLOps (Machine Learning Operations), Fine-tuning, User Acceptance Testing (UAT), Prompt Patterns, LLM Application, AI Security, Extract, Transform, Load, Scripting, Technical Communication, SQL, Model Optimization, Data Pipelines, Data Presentation, Large Language Modeling, Python Programming, Performance Tuning, Root Cause Analysis, Statistical Analysis, Version Control

    Intermediate · Specialization · 3 - 6 Months

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • U

    University of Glasgow

    Deep learning in Electronic Health Records - CDSS 2

    Skills you'll gain: Model Optimization, Deep Learning, Model Training, Recurrent Neural Networks (RNNs), Electocardiography, Data Preprocessing, Machine Learning Methods, Artificial Neural Networks, Convolutional Neural Networks, Data Processing, Model Evaluation, Health Informatics, Electronic Medical Record, Feature Engineering, Applied Machine Learning, Time Series Analysis and Forecasting, Predictive Modeling

    ★ 4 (8) · Intermediate · Course · 1 - 4 Weeks

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

    Coursera

    PowerBI for Beginners: Data transformation

    Skills you'll gain: Power BI, Data Transformation, Data Preprocessing, Data Manipulation, Data Cleansing, Data Integration, Data Wrangling, Predictive Modeling

    ★ 4.8 (28) · Beginner · Guided Project · Less Than 2 Hours

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

    Alfaisal University | KLD

    أساسيات الذكاء الاصطناعي والبيانات الضخمة | AI

    Skills you'll gain: Computer Vision, Natural Language Processing, Robotics, Applied Machine Learning, Machine Learning, Artificial Intelligence and Machine Learning (AI/ML), Big Data, Artificial Intelligence, AI literacy, Supervised Learning, Decision Support Systems, Reinforcement Learning

    ★ 4.9 (246) · Beginner · Course · 1 - 3 Months

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • U

    University of Pennsylvania

    Introducción a las Finanzas Corporativas

    Skills you'll gain: Capital Budgeting, Financial Modeling, Financial Analysis, Return On Investment, Financial Planning, Corporate Finance, Financial Forecasting, Cash Flows, Cash Flow Forecasting, Business Valuation, Decision Making, Loans, Timelines

    ★ 4.6 (84) · Mixed · Course · 1 - 4 Weeks

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

    Coursera

    Navigating Generative AI Risks for Leaders

    Skills you'll gain: Responsible AI, Data Ethics, Law, Regulation, and Compliance, Regulation and Legal Compliance, Regulatory Compliance, Generative AI, Legal Risk, Compliance Management, Business Ethics, AI Security, Intellectual Property, Business Risk Management, Risk Management, Ethical Standards And Conduct, Personally Identifiable Information, Data Governance, Data Security

    ★ 4.9 (71) · Beginner · Course · 1 - 4 Weeks

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

    University of Minnesota

    Healthcare Marketplace Capstone

    Skills you'll gain: Competitive Analysis, Healthcare Industry Knowledge, Stakeholder Analysis, Medical Devices, Market Share, Market Opportunities, Value-Based Care, Health Technology, Health Care Procedure and Regulation, Innovation, Business Modeling, Clinical Assessment, Commercialization, Market Analysis, Report Writing, Revenue Forecasting, Market Intelligence, Financial Modeling, Cost Benefit Analysis, Competitive Intelligence

    ★ 4.7 (69) · Mixed · Course · 1 - 3 Months

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

    University of Colorado Boulder

    Cybersecurity for Data Science

    Skills you'll gain: Data Security, Cybersecurity, Cyber Attacks, Data Ethics, Computer Security, Authentications, Cryptography, Information Assurance, Cyber Security Policies, Authorization (Computing), Security Software, Security Controls, Cyber Security Assessment, Information Privacy, Encryption, Data Access, Security Awareness, Risk Analysis, Problem Solving, Communication

    ★ 3.6 (30) · Beginner · Course · 1 - 3 Months

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

    L&T EduTech

    Two-Phase Pipe Hydraulics and Pipe Sizing

    Skills you'll gain: Hydraulics, Chemical Engineering, Engineering Analysis, Mechanical Engineering, Process Engineering, Engineering Calculations, Mathematical Modeling

    ★ 4.8 (14) · Intermediate · Course · 1 - 4 Weeks

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

    LearnQuest

    Advanced AI Techniques for the Supply Chain

    Skills you'll gain: Image Analysis, Model Training, Supervised Learning, Applied Machine Learning, Model Evaluation, Machine Learning Methods, Demand Planning, Artificial Intelligence and Machine Learning (AI/ML), Predictive Modeling, Anomaly Detection, Artificial Intelligence, Convolutional Neural Networks, Model Optimization, Statistical Machine Learning, Supply Chain Management, Machine Learning, Computer Vision, Machine Learning Algorithms, Supply Chain, Natural Language Processing

    ★ 3.2 (15) · Intermediate · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
1…196197198…425

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

  • Concept Art for Video Games: Michigan State University
  • Building Your Freelancing Career Capstone: California Institute of the Arts
  • LLM Optimization & Evaluation: Coursera
  • Deep learning in Electronic Health Records - CDSS 2: University of Glasgow
  • PowerBI for Beginners: Data transformation: Coursera
  • أساسيات الذكاء الاصطناعي والبيانات الضخمة | AI: Alfaisal University | KLD
  • Introducción a las Finanzas Corporativas: University of Pennsylvania
  • Navigating Generative AI Risks for Leaders: Coursera
  • Healthcare Marketplace Capstone: University of Minnesota
  • Cybersecurity for Data Science: University of Colorado Boulder

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