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

    Skills you'll gain: Model Deployment, PyTorch (Machine Learning Library), Vision Transformer (ViT), Model Evaluation, Transfer Learning, MLOps (Machine Learning Operations), Natural Language Processing, Debugging, Containerization, Kubernetes, Docker (Software), Distributed Computing, Performance Tuning, Applied Machine Learning, Dataflow, Tensorflow, Deep Learning, Cloud Computing, Data Pipelines, Computer Vision

    Advanced · Specialization · 1 - 3 Months

  • U

    University of California San Diego

    Big Data

    Skills you'll gain: Apache Spark, Model Evaluation, Apache Hadoop, Data Integration, Exploratory Data Analysis, Big Data, Classification Algorithms, Graph Theory, Data Pipelines, Database Design, Data Modeling, Regression Analysis, Data Mining, Data Management, Applied Machine Learning, Data Preprocessing, Data Presentation, Scalability, Data Processing, MongoDB

    4.5
    Rating, 4.5 out of 5 stars
    ·
    14K 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

  • P

    Packt

    Segment Routing in MPLS Networks

    Skills you'll gain: Multiprotocol Label Switching, Routing Protocols, Network Routing, Network Troubleshooting, Network Performance Management, Network Routers, Network Infrastructure, Network Planning And Design, Computer Networking, Network Protocols, Network Engineering, Network Model, Telecommunications, Verification And Validation

    Intermediate · Course · 3 - 6 Months

  • 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

  • U

    University at Buffalo

    Blockchain Basics

    Skills you'll gain: Blockchain, Cryptography, Transaction Processing, Network Protocols, Encryption, Data Structures, Distributed Computing, Virtual Environment, Data Integrity, Emerging Technologies, Data Validation, Algorithms, Verification And Validation

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

    Beginner · Course · 1 - 4 Weeks

  • Status: Bestseller
    Bestseller
    U

    University of Michigan

    Python 3 Programming

    Skills you'll gain: Unified Modeling Language, JSON, Object Oriented Programming (OOP), File I/O, Software Design, Debugging, Object Oriented Design, Data Processing, Web Scraping, Unit Testing, Programming Principles, Program Development, Python Programming, Data Import/Export, Restful API, Image Analysis, Data Manipulation, Jupyter, Computer Programming, Data Structures

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

    Beginner · Specialization · 3 - 6 Months

  • 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

  • U

    University of Toronto

    Introduction to Psychology

    Skills you'll gain: Psychology, Mental Health Diseases and Disorders, Mental Health Therapies, Human Development, Mental Health, Social Sciences, Scientific Methods, Neurology, Experimentation, Cultural Diversity

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

    Mixed · Course · 1 - 3 Months

  • C

    Coursera

    Nail Regression & Classification

    Skills you'll gain: Model Evaluation, Predictive Modeling, Regression Analysis, Advanced Analytics, Statistical Modeling, Classification Algorithms, Predictive Analytics, Logistic Regression, Data Analysis, Applied Machine Learning, Data-Driven Decision-Making, Business Analysis, Machine Learning Methods, Performance Metric

    Intermediate · Course · 1 - 4 Weeks

  • U

    University of Colorado Boulder

    Science of Exercise

    Skills you'll gain: Exercise Science, Kinesiology, Physiology, Sports Medicine, Nutrition and Diet, Pharmacology, Public Health and Disease Prevention, Immunology, Preventative Care, Respiration, Athletic Training, Endocrinology, Chronic Diseases, Vital Signs, Biochemistry, Public Health, Mental Health

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

    Beginner · Course · 1 - 4 Weeks

  • Status: Top AI Program
    Top AI Program
    I

    IBM

    IBM RAG and Agentic AI

    Skills you'll gain: Prompt Engineering, AI Orchestration, AI Workflows, LangChain, Retrieval-Augmented Generation, Agentic Workflows, Tool Calling, LangGraph, LLM Application, Agentic systems, Multimodal Prompts, Model Context Protocol, Generative AI, AI Security, Generative AI Agents, Vector Databases, Generative Model Architectures, OpenAI API, Responsible AI, Software Development

    4.6
    Rating, 4.6 out of 5 stars
    ·
    831 reviews

    Advanced · Professional Certificate · 3 - 6 Months

1…282930…383

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

  • Deep Learning Engineering: Coursera
  • Big Data: University of California San Diego
  • Getting Started with Automated Machine Learning (AutoML): Edureka
  • Segment Routing in MPLS Networks: Packt
  • Design and Build Scalable iOS Applications: EDUCBA
  • Blockchain Basics: University at Buffalo
  • Python 3 Programming: University of Michigan
  • Introduction to TensorFlow for Artificial Intelligence, Machine Learning, and Deep Learning: DeepLearning.AI
  • Introduction to Psychology: University of Toronto
  • Nail Regression & Classification: 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