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

Results for "model checking"


  • Status: Free Trial
    Free Trial
    P

    Pearson

    Introduction to Transformer Models for NLP

    Skills you'll gain: Vision Transformer (ViT), Prompt Engineering, PyTorch (Machine Learning Library), Model Deployment, Transfer Learning, Hugging Face, Natural Language Processing, MLOps (Machine Learning Operations), Large Language Modeling, Cloud Deployment, Computer Vision, Generative AI, Image Analysis, Application Deployment, Generative Model Architectures, Embeddings, Data Preprocessing, Model Evaluation

    Intermediate · Specialization · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Smart Analytics, Machine Learning, and AI on GCP 日本語版

    Skills you'll gain: Google Cloud Platform, Model Deployment, Unstructured Data, Tensorflow, Data Pipelines, Cloud API, Machine Learning, Jupyter, Artificial Intelligence and Machine Learning (AI/ML)

    4.5
    Rating, 4.5 out of 5 stars
    ·
    31 reviews

    Intermediate · Course · 1 - 3 Months

  • U

    University of Colorado Boulder

    Deep Learning for Natural Language Processing

    Skills you'll gain: Large Language Modeling, Recurrent Neural Networks (RNNs), Natural Language Processing, Prompt Engineering, Artificial Neural Networks, Transfer Learning, Deep Learning, PyTorch (Machine Learning Library), Embeddings, Model Evaluation, Model Deployment, Network Architecture

    Build toward a degree

    4.9
    Rating, 4.9 out of 5 stars
    ·
    7 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Modeling Data in the Tidyverse

    Skills you'll gain: Statistical Modeling, Exploratory Data Analysis, R Programming, Predictive Modeling, Sampling (Statistics), Statistical Hypothesis Testing, Tidyverse (R Package), Data Analysis, Data Modeling, Regression Analysis, Classification And Regression Tree (CART), Statistical Inference, Statistical Analysis, Rmarkdown, Data Preprocessing, Statistical Methods, Probability & Statistics, Model Evaluation, Machine Learning

    4.7
    Rating, 4.7 out of 5 stars
    ·
    10 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    P

    Pearson

    CISA Certified Information Systems Auditor: Unit 1

    Skills you'll gain: Audit Planning, Auditing, Information Assurance, Compliance Auditing, Security Controls, Risk Management Framework, Data Validation

    4.3
    Rating, 4.3 out of 5 stars
    ·
    11 reviews

    Intermediate · Course · 1 - 4 Weeks

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

    Coursera

    Debug Neural Networks: Analyze Training Dynamics

    Skills you'll gain: Applied Machine Learning, Analysis, Performance Analysis

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    P

    Packt

    AI Product Management: The Complete Handbook

    Skills you'll gain: AI Product Strategy, Product Management, Commercialization, Technical Product Management, Model Deployment, MLOps (Machine Learning Operations), Artificial Intelligence and Machine Learning (AI/ML), Artificial Intelligence, Product Strategy, User Interface and User Experience (UI/UX) Design, Product Design, Responsible AI, Digital Transformation, Team Performance Management, Machine Learning, Data-Driven Decision-Making, Deep Learning, User Feedback

    Beginner · Course · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    S

    SAS

    Building a Large-Scale, Automated Forecasting System

    Skills you'll gain: SAS (Software), Forecasting, Time Series Analysis and Forecasting, Statistical Methods, Predictive Modeling, Data Preprocessing, Automation, Anomaly Detection, Data Transformation, Model Evaluation

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Introduction to Machine Learning: Unsupervised Learning

    Skills you'll gain: Feature Engineering, Statistical Methods, Model Evaluation, Algorithms

    5
    Rating, 5 out of 5 stars
    ·
    6 reviews

    Intermediate · Course · 1 - 3 Months

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

    Coursera

    Agentic AI Development & Security

    Skills you'll gain: AI Security, Threat Modeling, Open Web Application Security Project (OWASP), Security Testing, Retrieval-Augmented Generation, Software Architecture, API Design, Test Automation, Vulnerability Management, Agentic systems, Systems Design, Model Evaluation, Test Driven Development (TDD), CI/CD, Python Programming, Continuous Deployment, Dependency Analysis, Large Language Modeling, Machine Learning, Performance Analysis

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free
    Free
    C

    Coursera

    Program Management Benefit Transition Sustainment in ClickUp

    Skills you'll gain: Program Management, Project Management Life Cycle, Diagram Design, Project Closure, Agile Methodology, Benefits Administration, Innovation, Change Management, Stakeholder Communications

    4.7
    Rating, 4.7 out of 5 stars
    ·
    22 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    O

    O.P. Jindal Global University

    Conflict Resolution, Negotiations and Crisis Management

    Skills you'll gain: Crisis Management, Mediation, Negotiation, Conflict Management, Diplomacy, Leadership, Governance, Public Safety and National Security, International Relations, Social Justice, Diversity and Inclusion, Decision Making, Case Studies

    4.9
    Rating, 4.9 out of 5 stars
    ·
    10 reviews

    Beginner · Course · 1 - 3 Months

1…237238239…390

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

  • Introduction to Transformer Models for NLP: Pearson
  • Smart Analytics, Machine Learning, and AI on GCP 日本語版: Google Cloud
  • Deep Learning for Natural Language Processing: University of Colorado Boulder
  • Modeling Data in the Tidyverse: Johns Hopkins University
  • CISA Certified Information Systems Auditor: Unit 1: Pearson
  • Debug Neural Networks: Analyze Training Dynamics: Coursera
  • AI Product Management: The Complete Handbook: Packt
  • Building a Large-Scale, Automated Forecasting System: SAS
  • Introduction to Machine Learning: Unsupervised Learning: University of Colorado Boulder
  • Agentic AI Development & Security: 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