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

Results for "model checking"


  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Transform and Communicate AI Insights Visually

    Skills you'll gain: Data Storytelling, Data Transformation, Interactive Data Visualization, Pandas (Python Package), Statistical Reporting

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Forecasting and Predictive Analytics Methods Pack

    Skills you'll gain: Time Series Analysis and Forecasting, Financial Forecasting, Forecasting, Trend Analysis, Advanced Analytics, Predictive Modeling, Predictive Analytics, Data-Driven Decision-Making, Business Analytics, Supervised Learning, Business Metrics, Market Data, Generative AI, Financial Management, Strategic Decision-Making, Market Intelligence, Statistical Analysis, Model Evaluation, Data Storytelling, Applied Machine Learning

    4
    Rating, 4 out of 5 stars
    ·
    58 reviews

    Intermediate · Specialization · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Jira Essentials: Beginner-Intermediate Mastery

    Skills you'll gain: Jira (Software), Responsible AI, Agile Methodology, Issue Tracking, Agile Project Management, Continuous Improvement Process, Workflow Management, Model Evaluation, Product Roadmaps, Test Case, AI Enablement, Verification And Validation, Automation, AI Personalization, Generative AI, Generative AI Agents, Software Testing, Configuration Management, Project Portfolio Management, Dashboard

    Beginner · Professional Certificate · 3 - 6 Months

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

    Edureka

    AutoML: Build ML Models without Code

    Skills you'll gain: Image Analysis, Model Deployment, Google Cloud Platform, Computer Vision, No-Code Development, Feature Engineering, Applied Machine Learning, Natural Language Processing, Artificial Intelligence and Machine Learning (AI/ML), Text Mining, Google Sheets, Machine Learning Software, Cloud Deployment, Model Evaluation, Predictive Modeling, Machine Learning, Data Science

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    K

    KodeKloud

    Data Engineering Essentials

    Skills you'll gain: MLOps (Machine Learning Operations), Apache Kafka, Apache Airflow, Apache Spark, Extract, Transform, Load, Data Lakes, Data Pipelines, Distributed Computing, Real Time Data, DevOps, Big Data, Data Preprocessing, Feature Engineering, Model Deployment, CI/CD, Pandas (Python Package), Data Transformation

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Fine-tuning Image Models with Diffusion

    Skills you'll gain: Model Deployment, Generative AI, AI Workflows, Generative Model Architectures, Development Environment, Image Analysis, Model Evaluation, Performance Tuning, Data Preprocessing

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Preview
    Preview
    E

    EDUCBA

    Analyze and Build Banking Sector Financial Models

    Skills you'll gain: Cash Flows, Financial Modeling, Financial Analysis, Financial Statements, Credit Risk, Business Valuation, Balance Sheet, Banking, Operational Efficiency, Bank Regulations, Expense Management, Financial Forecasting, Income Statement, Profit and Loss (P&L) Management

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    D

    DeepLearning.AI

    Generative Adversarial Networks (GANs)

    Skills you'll gain: Generative Adversarial Networks (GANs), Generative Model Architectures, Generative AI, PyTorch (Machine Learning Library), Image Analysis, Convolutional Neural Networks, Deep Learning, Model Evaluation, Responsible AI, Artificial Neural Networks, Data Ethics, Machine Learning, Image Quality, Unsupervised Learning, Information Privacy, Data Synthesis

    4.7
    Rating, 4.7 out of 5 stars
    ·
    2.4K reviews

    Intermediate · Specialization · 1 - 3 Months

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

    EDUCBA

    Design and Assemble a Kids Bicycle Using SolidWorks

    Skills you'll gain: SolidWorks (CAD), Assembly Drawing, 3D Modeling, Computer-Aided Design, Drafting and Engineering Design, Mechanical Design, Design Specifications, Functional Design, Simulation and Simulation Software, Visualization (Computer Graphics), Equipment Design, Geometric Dimensioning And Tolerancing, Functional Requirement

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Sync Asana & Jira

    Skills you'll gain: Data Mapping, Configuration Management, Jira (Software), Systems Integration, Data Integration, Data Validation, Project Management Software, Workflow Management, Continuous Monitoring, Project Documentation

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Production ML Engineering: Packaging, APIs, and Testing

    Skills you'll gain: MLOps (Machine Learning Operations), Model Deployment, Software Documentation, Continuous Delivery, Test Automation, CI/CD, Continuous Integration, Technical Documentation, Unit Testing, API Design, Application Programming Interface (API), Maintainability, Version Control, Package and Software Management, Code Review, Verification And Validation

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Blueprint to Bytecode: Architecting Scalable AI Systems

    Skills you'll gain: Model Deployment, Data Cleansing, Data Transformation, Data Preprocessing, Data Storytelling, Feature Engineering, AWS SageMaker, Systems Architecture, Systems Design, Cloud Computing Architecture, Scalability, MLOps (Machine Learning Operations), System Design and Implementation, Kubernetes, Requirements Analysis, Data Engineering, Cloud Infrastructure, Continuous Deployment, Docker (Software), Prometheus (Software)

    Intermediate · Specialization · 1 - 3 Months

1…424344…384

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

  • Transform and Communicate AI Insights Visually: Coursera
  • Forecasting and Predictive Analytics Methods Pack: Coursera
  • Jira Essentials: Beginner-Intermediate Mastery: Coursera
  • AutoML: Build ML Models without Code: Edureka
  • Data Engineering Essentials: KodeKloud
  • Fine-tuning Image Models with Diffusion: Coursera
  • Analyze and Build Banking Sector Financial Models: EDUCBA
  • Generative Adversarial Networks (GANs): DeepLearning.AI
  • Design and Assemble a Kids Bicycle Using SolidWorks: EDUCBA
  • Sync Asana & Jira: 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