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

Results for "model checking"


  • C

    Coursera

    Deep Learning for Real Estate Price Prediction

    Skills you'll gain: Model Evaluation, Keras (Neural Network Library), Data Preprocessing, Model Training, Deep Learning, Artificial Neural Networks, Tensorflow, Feature Engineering, Predictive Modeling, Data Cleansing, Machine Learning, Real Estate, Python Programming

    ★ 4.4 (23) · Beginner · Guided Project · Less Than 2 Hours

    Category: Credit offered
    Credit offered
  • E

    EDUCBA

    Spark and Python for Big Data with PySpark

    Skills you'll gain: PySpark, Apache Spark, Model Evaluation, MySQL, Data Pipelines, Scala Programming, Extract, Transform, Load, Logistic Regression, Customer Analysis, Apache Hadoop, Predictive Modeling, Applied Machine Learning, Data Processing, Data Persistence, Advanced Analytics, Big Data, Apache Maven, Data Access, Apache, Python Programming

    ★ 4.6 (90) · Beginner · Specialization · 1 - 3 Months

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

    University of Colorado Boulder

    Introduction to Deep Learning

    Skills you'll gain: Recurrent Neural Networks (RNNs), Generative AI, Fine-tuning, Vision Transformer (ViT), Machine Learning Methods, Model Optimization, Model Training, Large Language Modeling, Embeddings, Network Architecture

    Intermediate · Course · 1 - 3 Months

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

    Packt

    Selenium Automation and Testing Frameworks

    Skills you'll gain: Selenium (Software), Test Automation, Software Testing, Test Script Development, Test Data, Browser Compatibility, Java, Cascading Style Sheets (CSS), Data Import/Export, Debugging, Maintainability

    ★ 4.4 (14) · Intermediate · Course · 1 - 3 Months

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

    Scrimba

    Intro to Dall-E and GPT Vision

    Skills you'll gain: OpenAI API, Image Analysis, Multimodal Prompts, Prompt Engineering, Generative AI, AI powered creativity, OpenAI, Image Quality, Computer Vision, Artificial Intelligence, AI literacy

    ★ 4.6 (18) · Intermediate · Course · 1 - 4 Weeks

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

    University of Michigan

    Data Science for Health Research

    Skills you'll gain: R (Software), Model Evaluation, Statistical Modeling, Statistics, Data Visualization, Data Analysis, Sampling (Statistics), Data Wrangling, Data Manipulation, Predictive Modeling, Correlation Analysis, Histogram, Biostatistics, Statistical Reporting, Statistical Analysis, Statistical Hypothesis Testing, Scripting, Statistical Software, Package and Software Management, Scripting Languages

    ★ 4.9 (13) · Beginner · Specialization · 1 - 3 Months

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

    Board Infinity

    Prepare for SnowPro Core Exam: Architecture & SQL

    Skills you'll gain: Snowflake Schema, Performance Tuning, Data Architecture, User Accounts, Data Warehousing, SQL, Database Architecture and Administration, Database Management, Data Modeling, Data Transformation, Data Import/Export, Cloud Computing Architecture, Data Integration, Cloud-Based Integration, Role-Based Access Control (RBAC), Data Governance, Data Security

    ★ 3 (30) · Intermediate · Course · 1 - 4 Weeks

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

    University of Glasgow

    Generative Pre-trained Transformers (GPT)

    Skills you'll gain: Large Language Modeling, ChatGPT, LLM Application, Generative AI, Generative Model Architectures, Natural Language Processing, Model Evaluation, Responsible AI, Model Training, Data Ethics, Deep Learning, Artificial Neural Networks

    ★ 4.4 (34) · Intermediate · Course · 1 - 4 Weeks

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • M

    Microsoft

    Microsoft Azure AI in Healthcare

    Skills you'll gain: Cloud Security, Health Care, Identity and Access Management, Real Time Data, Model Training, Patient Education and Support, Data Management, Microsoft Azure, Data Sharing, Clinical Data Management, Clinical Monitoring, Health Technology, Image Analysis, Data Visualization Software, Data Presentation, Patient Communication, Dashboard Creation, Microsoft Teams, Generative AI, AI Integrations

    Beginner · Professional Certificate · 3 - 6 Months

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

    Coursera

    Aerial Image Segmentation with PyTorch

    Skills you'll gain: PyTorch (Machine Learning Library), Convolutional Neural Networks, Fine-tuning, Transfer Learning, Model Evaluation, Image Analysis, Model Training, Computer Vision, Applied Machine Learning, Deep Learning, Python Programming

    ★ 4 (32) · Intermediate · Guided Project · Less Than 2 Hours

    Category: Free
    Free
    Category: Credit offered
    Credit offered
  • U

    University of Michigan

    From Sleep Disorders to Sleep Health

    Skills you'll gain: Mental Health, Diversity Awareness, Cultural Diversity, Health Disparities, Social Determinants Of Health, Health Equity, Respiration, Preventative Care, Stress Management, Human Development, Positive Airway Pressure (CPAP/BiPAP), Patient Treatment, Treatment Planning, Diagnostic Tests, Mental Health Diseases and Disorders, Physiology, Child Health, Neurology, Geriatrics, Mindfulness

    ★ 4.5 (14) · Beginner · Course · 1 - 3 Months

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • C

    Coursera

    Time Series Mastery: Forecasting with ETS, ARIMA, Python

    Skills you'll gain: Forecasting, Time Series Analysis and Forecasting, Trend Analysis, Predictive Analytics, Predictive Modeling, Advanced Analytics, Statistical Analysis, Business Analytics, Data-Driven Decision-Making, Strategic Decision-Making, Model Evaluation

    ★ 4 (45) · Beginner · Course · 1 - 4 Weeks

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

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

  • Deep Learning for Real Estate Price Prediction: Coursera
  • Spark and Python for Big Data with PySpark: EDUCBA
  • Introduction to Deep Learning: University of Colorado Boulder
  • Selenium Automation and Testing Frameworks: Packt
  • Intro to Dall-E and GPT Vision: Scrimba
  • Data Science for Health Research: University of Michigan
  • Prepare for SnowPro Core Exam: Architecture & SQL: Board Infinity
  • Generative Pre-trained Transformers (GPT): University of Glasgow
  • Microsoft Azure AI in Healthcare: Microsoft
  • Aerial Image Segmentation with PyTorch : 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