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

Results for "model checking"


  • M

    MathWorks

    Powering the Future with Electrification

    Skills you'll gain: Electrical Systems, Model Based Systems Engineering, Electric Power Systems, Climate Change Mitigation, Energy and Utilities, Environmental Issue

    ★ 4.8 (13) · Beginner · Course · 1 - 4 Weeks

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

    Edureka

    Analytics Engineering Workflows with dbt

    Skills you'll gain: Data Quality, SQL, YAML, Data Pipelines, Data Validation, Data Mart, CI/CD, Data Modeling, Data Transformation, Version Control, Git (Version Control System), Technical Documentation, Maintainability, Scalability

    Intermediate · Course · 1 - 4 Weeks

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • 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 (11) · Intermediate · Course · 1 - 4 Weeks

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

    Dassault Systèmes

    Practice CATIA Drafting

    Skills you'll gain: Drafting and Engineering Design, Engineering Drawings, Technical Drawing, Mechanical Drawings, Assembly Drawing, Computer Aided Three-Dimensional Interactive Application (CATIA), Geometric Dimensioning And Tolerancing, 3D Modeling, Visualization (Computer Graphics)

    Beginner · Course · 1 - 4 Weeks

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

    Coursera

    Microservices Architecture for AI Systems

    Skills you'll gain: Retrieval-Augmented Generation, Model Deployment, LLM Application, LangChain, Large Language Modeling, Microservices, Test Driven Development (TDD), Software Architecture, Scalability, MLOps (Machine Learning Operations), Cloud Deployment, Cloud Computing Architecture, API Design, Site Reliability Engineering, Kubernetes, Prompt Engineering, Containerization, Infrastructure as Code (IaC), Python Programming, Performance Analysis

    Intermediate · Specialization · 1 - 3 Months

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

    Coursera

    TensorFlow for Beginners: Basic Binary Image Classification

    Skills you'll gain: Model Deployment, Tensorflow, Model Evaluation, Data Preprocessing, Image Analysis, Artificial Neural Networks, Convolutional Neural Networks, Data Processing, Applied Machine Learning, Machine Learning Methods, Computer Vision, Deep Learning

    Beginner · Guided Project · Less Than 2 Hours

    Category: Credit offered
    Credit offered
  • W

    Whizlabs

    Power BI: Data Secure, Governance, and Workspace Management

    Skills you'll gain: Power BI, Dashboard, Interactive Data Visualization, Data Analysis Expressions (DAX), Business Reporting, Data Governance, Data Modeling, Data Transformation, Data Management, Data Manipulation, Role-Based Access Control (RBAC), Data Security, Data Cleansing

    ★ 4.6 (7) · Advanced · Course · 1 - 4 Weeks

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

    O.P. Jindal Global University

    Development Across the Lifespan

    Skills you'll gain: Personal Development, Emotional Intelligence, Mental Health, Cognitive flexibility, Critical Thinking

    Beginner · Course · 1 - 3 Months

    Category: New
    New
    Category: Preview
    Preview
    Category: Build toward a degree
    Build toward a degree
  • S

    Simplilearn

    Introduction Course to Autoencoders, VAEs, and GANs

    Skills you'll gain: Generative Adversarial Networks (GANs), Generative AI, Autoencoders, Deep Learning, Convolutional Neural Networks, Tensorflow, Unsupervised Learning, Dimensionality Reduction, Model Evaluation

    Beginner · Course · 1 - 4 Weeks

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

    Coursera

    Leading Transformation: Driving Organizational Change

    Skills you'll gain: Organizational Change, Change Management, Business Transformation, Culture Transformation, Organizational Leadership, Overcoming Objections, Drive Engagement, Digital Transformation, Business Leadership, Leadership, Stakeholder Analysis, Internal Communications, Stakeholder Management, Communication Strategies, Collaborative Software, Communication, Adaptability, Google Workspace, Planning

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

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

    Arizona State University

    Rapid Prototyping Materials and Tooling

    Skills you'll gain: Prototyping, Manufacturing Processes, Materials science, Manufacturing and Production, Mechanical Engineering, 3D Modeling, Safety Training, Personal protective equipment

    ★ 5 (23) · Beginner · Course · 1 - 4 Weeks

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

    Logical Operations

    Excel: Data Analysis with Formulas/Functions and PivotTables

    Skills you'll gain: Excel Formulas, Pivot Tables And Charts, Microsoft Excel, Spreadsheet Software, Data Validation, Data Visualization, Data Analysis, Interactive Data Visualization, Productivity Software, Data Integrity, Microsoft Office, Microsoft 365

    Mixed · Course · 1 - 4 Weeks

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
1…244245246…390

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

  • Powering the Future with Electrification: MathWorks
  • Analytics Engineering Workflows with dbt: Edureka
  • Health Impacts of Chemicals in Consumer Products: University of Michigan
  • Practice CATIA Drafting: Dassault Systèmes
  • Microservices Architecture for AI Systems: Coursera
  • TensorFlow for Beginners: Basic Binary Image Classification: Coursera
  • Power BI: Data Secure, Governance, and Workspace Management: Whizlabs
  • Development Across the Lifespan: O.P. Jindal Global University
  • Introduction Course to Autoencoders, VAEs, and GANs: Simplilearn
  • Leading Transformation: Driving Organizational Change: 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