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

Results for "model checking"


  • U

    University of Washington

    Computational Neuroscience

    Skills you'll gain: Network Model, Supervised Learning, Machine Learning Algorithms, Artificial Neural Networks, Reinforcement Learning, Matlab, Mathematical Modeling, Computational Thinking, Recurrent Neural Networks (RNNs), Applied Mathematics, Physiology, Biology, Linear Algebra, Differential Equations, Probability & Statistics

    4.6
    Rating, 4.6 out of 5 stars
    ·
    1.1K reviews

    Beginner · Course · 1 - 3 Months

  • R

    Rice University

    Business Statistics and Analysis

    Skills you'll gain: Statistical Hypothesis Testing, Microsoft Excel, Statistical Methods, Pivot Tables And Charts, Regression Analysis, Statistics, Descriptive Statistics, Probability & Statistics, Graphing, Spreadsheet Software, Probability Distribution, Business Analytics, Statistical Modeling, Statistical Analysis, Statistical Inference, Excel Formulas, Data Analysis, Data Presentation, Model Evaluation, Sample Size Determination

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

    Beginner · Specialization · 3 - 6 Months

  • C

    Columbia University

    Construction Management

    Skills you'll gain: Project Schedules, Construction Management, Construction Estimating, Project Finance, Cost Estimation, Punch Work, Construction, Project Risk Management, Bidding, Building Information Modeling, Scheduling, Cost Control, Environment Health And Safety, Project Closure, Lean Methodologies, Timelines, Real Estate, Finance, Business Transformation, Innovation

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

    Beginner · Specialization · 3 - 6 Months

  • E

    Edureka

    Getting Started with Automated Machine Learning (AutoML)

    Skills you'll gain: Model Deployment, MLOps (Machine Learning Operations), Automation, Artificial Intelligence and Machine Learning (AI/ML), Machine Learning Methods, No-Code Development, Data Preprocessing, Scikit Learn (Machine Learning Library), Machine Learning, Model Evaluation, Applied Machine Learning, Predictive Modeling, Feature Engineering, Data-Driven Decision-Making, Machine Learning Algorithms, Artificial Intelligence, Scalability, Performance Tuning, Performance Metric

    Beginner · Course · 1 - 4 Weeks

  • U

    University of Michigan

    Using Databases with Python

    Skills you'll gain: Database Design, Relational Databases, SQL, Databases, Data Visualization Software, Web Scraping, Data Modeling, Object Oriented Programming (OOP), Data Processing, Geographic Information Systems, Python Programming, Application Programming Interface (API)

    4.8
    Rating, 4.8 out of 5 stars
    ·
    22K reviews

    Beginner · Course · 1 - 3 Months

  • U

    University of Illinois Urbana-Champaign

    Financial Management

    Skills you'll gain: Revenue Recognition, Peer Review, Credit Risk, Mergers & Acquisitions, Financial Analysis, Accrual Accounting, Financial Statement Analysis, Cash Flows, Accounting, Corporate Finance, Financial Statements, Financial Accounting, Finance, Financial Modeling, Investments, Return On Investment, Generally Accepted Accounting Principles (GAAP), Financial Management, Portfolio Management, Risk Management

    Build toward a degree

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

    Intermediate · Specialization · 3 - 6 Months

  • S

    SkillUp

    Machine Learning for Healthcare Applications

    Skills you'll gain: Unsupervised Learning, Feature Engineering, Model Evaluation, Applied Machine Learning, Statistical Machine Learning, Predictive Modeling, Supervised Learning, Clinical Informatics, Machine Learning, Health Informatics, Data Preprocessing, Clinical Data Management, Predictive Analytics, Patient Safety, Decision Tree Learning, Time Series Analysis and Forecasting, Logistic Regression, Forecasting, Classification Algorithms, Dimensionality Reduction

    Intermediate · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Design and Build Scalable iOS Applications

    Skills you'll gain: Apple iOS, iOS Development, Model View Controller, Software Architecture, Maintainability, Application Design, Mobile Development, Software Design, Software Design Patterns, UI Components, Scalability, Frontend Integration, Application Development, Frontend Performance, Performance Tuning, Data Modeling, Business Logic

    Beginner · Course · 1 - 4 Weeks

  • D

    DeepLearning.AI

    Unsupervised Learning, Recommenders, Reinforcement Learning

    Skills you'll gain: Unsupervised Learning, Data Ethics, Machine Learning, Supervised Learning, Artificial Intelligence, Reinforcement Learning, Artificial Neural Networks, Deep Learning, Anomaly Detection, Dimensionality Reduction, Algorithms

    4.9
    Rating, 4.9 out of 5 stars
    ·
    5.5K reviews

    Beginner · Course · 1 - 4 Weeks

  • P

    Packt

    Data-Driven Apps with Core Data, ML, and App Architecture

    Skills you'll gain: Apple iOS, Core Data (Software), Application Design, Swift Programming, Apple Xcode, User Interface (UI), Mobile Development, Data Store, Machine Learning Software, Software Architecture, Performance Tuning, Database Development, Database Management, Software Design, Model View Controller, User Interface and User Experience (UI/UX) Design, Application Development

    Intermediate · Course · 1 - 4 Weeks

  • D

    DeepLearning.AI

    Introduction to TensorFlow for Artificial Intelligence, Machine Learning, and Deep Learning

    Skills you'll gain: Tensorflow, Computer Vision, Model Evaluation, Image Analysis, Convolutional Neural Networks, Keras (Neural Network Library), Deep Learning, Artificial Neural Networks, Artificial Intelligence, Data Preprocessing, Machine Learning

    4.8
    Rating, 4.8 out of 5 stars
    ·
    20K reviews

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Building Vision and NLP Workflows with TensorFlow pipelines

    Skills you'll gain: Model Evaluation, Computer Vision, Vision Transformer (ViT), Tensorflow, Keras (Neural Network Library), Embeddings, Deep Learning, Natural Language Processing, Model Deployment, Transfer Learning, Data Pipelines, Risk Modeling, Performance Tuning

    Intermediate · Course · 1 - 3 Months

1…242526…383

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

  • Computational Neuroscience: University of Washington
  • Business Statistics and Analysis: Rice University
  • Construction Management: Columbia University
  • Getting Started with Automated Machine Learning (AutoML): Edureka
  • Using Databases with Python: University of Michigan
  • Financial Management: University of Illinois Urbana-Champaign
  • Machine Learning for Healthcare Applications: SkillUp
  • Design and Build Scalable iOS Applications: EDUCBA
  • Unsupervised Learning, Recommenders, Reinforcement Learning: DeepLearning.AI
  • Data-Driven Apps with Core Data, ML, and App Architecture: Packt

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