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

    University of Michigan

    Health Impacts of Chemicals in Consumer Products

    Skills you'll gain: Health Assessment, Chemistry, Risk Analysis, Sustainable Engineering, Personal Care, Environmental Engineering, Product Lifecycle Management, Environmental Regulations, Environmental Science, Child Health

    5
    Rating, 5 out of 5 stars
    ·
    11 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Preview
    Preview
    L

    Logical Operations

    Microsoft Power Apps: Building Low-Code Business Apps

    Skills you'll gain: Microsoft Power Platform, No-Code Development, Application Deployment, Application Design, Application Development, Microsoft 365, Dashboard, Data-Driven Decision-Making, Software Design, Project Planning, Product Testing, Software Development, Business Solutions, Software Architecture

    Mixed · Course · 1 - 3 Months

  • C

    Coursera

    Decision Tree Classifier for Beginners in R

    Skills you'll gain: Model Evaluation, Decision Tree Learning, Data Preprocessing, Data Manipulation, Statistical Modeling, R Programming, Supervised Learning, Machine Learning, Classification Algorithms

    4.8
    Rating, 4.8 out of 5 stars
    ·
    6 reviews

    Beginner · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Resampling, Selection and Splines

    Skills you'll gain: Data Science, Model Evaluation, Statistical Machine Learning, Dimensionality Reduction, Statistical Modeling, Statistical Analysis, Sampling (Statistics), Statistical Methods, Regression Analysis, Machine Learning Methods, Statistics, Predictive Modeling, Applied Mathematics, Logistic Regression, Probability Distribution

    Build toward a degree

    5
    Rating, 5 out of 5 stars
    ·
    8 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    I

    Institut Mines-Télécom

    Fabrication additive : l'impression 3D dans l'industrie

    Skills you'll gain: Manufacturing Processes, Manufacturing Operations, Safety Standards, 3D Modeling, Industrial Engineering, Production Process, Materials science, Mechanical Design, Computer-Aided Design, Mechanical Engineering, Environment Health And Safety, Process Control, Environmental Issue, Product Development, Quality Assurance, Prototyping

    4.9
    Rating, 4.9 out of 5 stars
    ·
    8 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    P

    Packt

    Deep Learning - Artificial Neural Networks with TensorFlow

    Skills you'll gain: Tensorflow, Artificial Neural Networks, Deep Learning, Keras (Neural Network Library), Recurrent Neural Networks (RNNs), Classification Algorithms, Image Analysis, Convolutional Neural Networks, Supervised Learning, Machine Learning Algorithms, Machine Learning, Model Evaluation, NumPy, Regression Analysis

    Intermediate · Course · 1 - 3 Months

  • Status: Free
    Free
    C

    Coursera

    Введение в оценку компаний с WACC

    Skills you'll gain: Capital Budgeting, Business Valuation, Financial Analysis, Financial Modeling, Return On Investment, Financial Market, Finance, Investment Banking, Corporate Finance, Risk Management

    4.4
    Rating, 4.4 out of 5 stars
    ·
    27 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    P

    Pearson

    Quick Start Guide to Large Language Models (LLMs)

    Skills you'll gain: Prompt Engineering, Large Language Modeling, LLM Application, Retrieval-Augmented Generation, ChatGPT, Natural Language Processing, Generative AI Agents, OpenAI API, Model Deployment, Embeddings, Transfer Learning, Generative Model Architectures, Multimodal Prompts, Generative AI, Cloud Deployment, Responsible AI, Artificial Intelligence and Machine Learning (AI/ML), AI Personalization, Cost Management, Machine Learning

    Intermediate · Specialization · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    S

    SkillUp

    Business Process Modeling, Analysis, and Improvement

    Skills you'll gain: Process Mapping, Business Process Modeling, Process Analysis, Business Process Improvement, Process Design, Business Process Management, Process Improvement, Lean Methodologies, Systems Thinking, Lean Six Sigma, Change Management, Quality Improvement, Process Flow Diagrams, Six Sigma Methodology, Stakeholder Analysis, Agile Methodology, Matrix Management, Dataflow, Prioritization, Generative AI

    4.4
    Rating, 4.4 out of 5 stars
    ·
    7 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    The Business, Politics, Policy, & Players of Space Programs

    Skills you'll gain: Global Positioning Systems, Political Sciences, Entrepreneurship, International Relations, Governance, Higher Education, Public Policies, Policy Analysis, Business, New Business Development, Budgeting, Innovation

    4.3
    Rating, 4.3 out of 5 stars
    ·
    10 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Maryland, College Park

    Agile Innovation and Problem Solving Skills

    Skills you'll gain: Brainstorming, User Story, Creative Thinking, Innovation, Design Thinking, Critical Thinking and Problem Solving, Solution Design, Agile Methodology, Problem Solving, Agile Product Development, Empathy, Requirements Analysis, Complex Problem Solving, Risk Management, Lean Methodologies, Process Improvement

    4.5
    Rating, 4.5 out of 5 stars
    ·
    21 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    M

    Microsoft

    Copilot for Cybersecurity

    Skills you'll gain: Generative AI, Generative Adversarial Networks (GANs), System Monitoring, Data Ethics, AI Security, Large Language Modeling, Responsible AI, LLM Application, Artificial Intelligence, AI Enablement, Event Monitoring, Model Evaluation, Automation, Threat Detection, Emerging Technologies, Machine Learning

    4.7
    Rating, 4.7 out of 5 stars
    ·
    31 reviews

    Intermediate · Course · 1 - 4 Weeks

1…217218219…389

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

  • Health Impacts of Chemicals in Consumer Products: University of Michigan
  • Microsoft Power Apps: Building Low-Code Business Apps: Logical Operations
  • Decision Tree Classifier for Beginners in R: Coursera
  • Resampling, Selection and Splines: University of Colorado Boulder
  • Fabrication additive : l'impression 3D dans l'industrie: Institut Mines-Télécom
  • Deep Learning - Artificial Neural Networks with TensorFlow: Packt
  • Введение в оценку компаний с WACC: Coursera
  • Quick Start Guide to Large Language Models (LLMs): Pearson
  • Business Process Modeling, Analysis, and Improvement: SkillUp
  • The Business, Politics, Policy, & Players of Space Programs: 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