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

Results for "model+checking"


  • C

    Coursera

    Secure Your AI: Threat Modeling

    Skills you'll gain: AI Security, Threat Modeling, IT Security Architecture, Security Engineering, Security Architecture Review, Security Requirements Analysis, Threat Management, Data Flow Diagrams (DFDs), Security Controls, Data Security, Key Management, Cloud Management, Software Documentation, Managed Services, Risk Analysis, Authentications, Technical Communication

    Intermediate · Course · 1 - 4 Weeks

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

    Packt

    Ollama & DeepSeek Reasoning Model Masterclass

    Skills you'll gain: Deepseek, DeepSeek API, AI Orchestration, LLM Application, Generative AI Agents, Artificial Intelligence, Model Deployment, Large Language Modeling, Generative Model Architectures, Software Installation, Development Environment, Open Source Technology, Application Programming Interface (API)

    Intermediate · Course · 1 - 3 Months

    Category: New
    New
    Category: Credit offered
    Credit offered
  • C

    Coursera

    Partition & Monitor AI Models Effectively

    Skills you'll gain: MLOps (Machine Learning Operations), Model Training, Data Integrity, Machine Learning, Artificial Intelligence and Machine Learning (AI/ML), Artificial Intelligence, Probability & Statistics

    Intermediate · Course · 1 - 4 Weeks

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

    Edureka

    Prompt Engineering for LLMs

    Skills you'll gain: Prompt Engineering, Multimodal Prompts, Prompt Patterns, Prompt Engineering Tools, LLM Application, LangChain, Large Language Modeling, Responsible AI, AI Security, OpenAI, Generative AI, AI Personalization, Context Management, Natural Language Processing, CI/CD, Python Programming, Pandas (Python Package), Scalability, Application Development, Safety and Security

    Beginner · Course · 1 - 4 Weeks

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

    Coursera

    SystemVerilog Tutorials: Hardware Design & Verification

    Skills you'll gain: Hardware Design, Field-Programmable Gate Array (FPGA), Data Structures, Computational Logic, Application Specific Integrated Circuits, Electronic Systems, Computer Engineering, System Design and Implementation, Verification And Validation, Embedded Systems, Functional Design, Simulation and Simulation Software, Code Reusability, Test Engineering, Data Synthesis, Analysis, Design, Process Optimization

    Intermediate · Course · 1 - 4 Weeks

    Category: New
    New
    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • D

    Duke University

    Rust for Large Language Model Operations (LLMOps)

    Skills you'll gain: LLM Application, Hugging Face, Large Language Modeling, Generative AI, Rust (Programming Language), Model Deployment, Cloud Deployment, PyTorch (Machine Learning Library), Applied Machine Learning, Model Training, Natural Language Processing, DevOps, Amazon Web Services, Machine Learning

    ★ 4.3 (15) · Intermediate · Course · 1 - 4 Weeks

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

    Coursera

    Track and Evaluate ML Model Experiments

    Skills you'll gain: MLOps (Machine Learning Operations), Model Evaluation, Model Training, Model Deployment, Version Control, Large Language Modeling, Predictive Modeling, Data Management, Dashboard, Interactive Data Visualization, Machine Learning, Record Keeping, Performance Analysis

    Intermediate · Course · 1 - 4 Weeks

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

    Pragmatic AI Labs

    Large Language Models with Hugging Face

    Skills you'll gain: Prompt Engineering, Hugging Face, Agentic Workflows, Generative AI Agents

    Intermediate · Course · 1 - 4 Weeks

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

    Coursera

    Automate, Evaluate and Deploy ML Models Confidently

    Skills you'll gain: MLOps (Machine Learning Operations), Model Deployment, Scalability, Model Optimization, CI/CD, Continuous Deployment, Machine Learning Software, Continuous Delivery, Model Training, DevOps, Artificial Intelligence and Machine Learning (AI/ML), Model Evaluation, Continuous Integration, Performance Measurement, Business Metrics, Automation, Business Priorities, Performance Analysis, YAML

    Advanced · Course · 1 - 4 Weeks

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

    LearnQuest

    No-Code Model Evaluation, Communication, and Business Impact

    Skills you'll gain: Responsible AI, Model Evaluation, Business Analytics, Dashboard Creation, Performance Analysis, Predictive Analytics, Predictive Modeling, Auditing, Performance Improvement, Business Communication, Performance Measurement, Data-Driven Decision-Making, Technical Communication, Business Reporting, Key Performance Indicators (KPIs), Continuous Quality Improvement (CQI), Data Storytelling, No-Code Development, Process Improvement and Optimization, Management Reporting

    Intermediate · Course · 1 - 4 Weeks

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

    SAS

    Managing Machine Learning Models

    Skills you'll gain: Model Deployment, MLOps (Machine Learning Operations), Model Training, Model Evaluation, Machine Learning Software, Process Modeling, Workflow Management, Predictive Modeling, Governance Risk Management and Compliance, Applied Machine Learning, SAS (Software), Text Mining, R Programming, Performance Analysis, Scheduling

    Intermediate · Course · 1 - 4 Weeks

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

    University of Virginia

    Coding Data Models with AI

    Skills you'll gain: Model View Controller, Integrated Development Environments, Data Modeling, Data Store, Database Development, Database Design, Software Development Tools, NoSQL, Database Architecture and Administration, OpenAI API, LLM Application, Application Programming Interface (API), AI Enablement, OpenAI, ChatGPT, Version Control, Infrastructure Architecture, Artificial Intelligence, AI literacy, Restful API

    Beginner · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
1…678…9

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

  • Secure Your AI: Threat Modeling: Coursera
  • Ollama & DeepSeek Reasoning Model Masterclass: Packt
  • Partition & Monitor AI Models Effectively: Coursera
  • Prompt Engineering for LLMs: Edureka
  • SystemVerilog Tutorials: Hardware Design & Verification: Coursera
  • Rust for Large Language Model Operations (LLMOps): Duke University
  • Track and Evaluate ML Model Experiments: Coursera
  • Large Language Models with Hugging Face: Pragmatic AI Labs
  • Automate, Evaluate and Deploy ML Models Confidently: Coursera
  • No-Code Model Evaluation, Communication, and Business Impact: LearnQuest

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