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

Results for "model+checking"


  • C

    Coursera

    Safeguard LLM Outputs: Test and Evaluate

    Skills you'll gain: AI Security, Responsible AI, LLM Application, Unit Testing, Verification And Validation, Test Case, Security Testing, Testability, Software Testing, Code Coverage, Large Language Modeling, Model Evaluation, Test Tools, Test Script Development, Prompt Engineering, Threat Modeling, Prompt Patterns, Maintainability, Software Technical Review, Quality Assessment

    Intermediate · Course · 1 - 4 Weeks

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

    Coursera

    Engineer & Explain AI Model Decisions

    Skills you'll gain: Feature Engineering, Responsible AI, Model Evaluation, Model Deployment, Technical Communication, Data Preprocessing, Data Transformation, Stakeholder Communications, Performance Analysis, Data Wrangling, Data Cleansing, Predictive Modeling, Machine Learning, Artificial Intelligence, Embeddings, Report Writing, Decision Support Systems, Scikit Learn (Machine Learning Library), Pandas (Python Package)

    Intermediate · Course · 1 - 4 Weeks

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

    28DIGITAL

    System Validation (3): Requirements by modal formulas

    Skills you'll gain: Verification And Validation, Computational Logic, System Requirements, Functional Requirement, Systems Design, Functional Specification, Requirements Analysis, Theoretical Computer Science

    ★ 4.5 (13) · Advanced · Course · 1 - 4 Weeks

    Category: Credit offered
    Credit offered
  • C

    Coursera

    Secure Mobile AI Models Against Attacks

    Skills you'll gain: AI Security, Mobile Security, Model Deployment, Mobile Development, Continuous Monitoring, Application Security, Secure Coding, Threat Modeling, Responsible AI, Security Controls, System Monitoring, Encryption, Hardening, Threat Management, Security Management, Threat Detection, Anomaly Detection, Program Implementation

    Intermediate · Course · 1 - 4 Weeks

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

    28DIGITAL

    System Validation (2): Model process behaviour

    Skills you'll gain: Verification And Validation, Embedded Software, Process Modeling, Software Systems, Systems Analysis, Computational Logic, Distributed Computing, Theoretical Computer Science, Data Modeling, Maintainability, Algorithms, Logical Reasoning

    ★ 4.1 (10) · Intermediate · Course · 1 - 4 Weeks

    Category: Credit offered
    Credit offered
  • P

    Packt

    Advanced Prompt Engineering and Memory Management

    Skills you'll gain: Retrieval-Augmented Generation, Prompt Patterns, Token Optimization, Memory Management, Context Management, Document Management, Embeddings, User Interface (UI), Vector Databases, Debugging

    Advanced · Course · 1 - 3 Months

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

    Coursera

    Engineer AI Models: Explain, Tune & Experiment

    Skills you'll gain: Feature Engineering, Fraud detection, Jupyter, Program Management, Model Optimization, Responsible AI, Model Evaluation, Project Management, Performance Improvement, AI literacy, Risk Modeling, Performance Metric, Credit Risk, Performance Analysis, Performance Tuning, Machine Learning Methods, Test Planning, Test Engineering, Applied Machine Learning, Research Design

    Intermediate · Course · 1 - 4 Weeks

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

    DeepLearning.AI

    Quality and Safety for LLM Applications

    Skills you'll gain: LLM Application, AI Security, Large Language Modeling, Security Testing, Data Loss Prevention, Continuous Monitoring, Responsible AI, Prompt Patterns, Threat Detection, System Monitoring, Personally Identifiable Information, Data Security

    Beginner · Project · Less Than 2 Hours

    Category: Free
    Free
    Category: Credit offered
    Credit offered
  • E

    EDUCBA

    Build & Analyze Financial Models: Twitter Case Study

    Skills you'll gain: Financial Modeling, Business Valuation, Revenue Forecasting, Working Capital, Cash Flows, Financial Statement Analysis, Financial Analysis, Financial Data, Financial Forecasting, Financial Statements, Balance Sheet, Operational Analysis, Corporate Finance, Cash Flow Forecasting, Income Statement

    Mixed · Course · 1 - 4 Weeks

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

    Coursera

    Secure AI Model Deployments & Lifecycles

    Skills you'll gain: Model Deployment, MLOps (Machine Learning Operations), AI Security, Cloud Deployment, DevOps, CI/CD, AI Workflows, Artificial Intelligence and Machine Learning (AI/ML), Metadata Management, System Monitoring, Software Versioning, Incident Response

    Intermediate · Course · 1 - 4 Weeks

    Category: New
    New
    Status: Free Trial
    Free Trial
    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

    CertNexus

    CSC: Secure Software Testing and Maintenance

    Skills you'll gain: Security Testing, Application Security, Open Web Application Security Project (OWASP), Software Testing, Secure Coding, Test Tools, Regression Testing, Unit Testing, Penetration Testing, Security Controls, Computer Security, Test Driven Development (TDD), Debugging, User Acceptance Testing (UAT), Computer Programming, Python Programming, Node.JS, Information Privacy, JavaScript Frameworks, Javascript

    Mixed · Course · 1 - 4 Weeks

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
1…6789

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

  • Safeguard LLM Outputs: Test and Evaluate: Coursera
  • Engineer & Explain AI Model Decisions: Coursera
  • System Validation (3): Requirements by modal formulas: 28DIGITAL
  • Secure Mobile AI Models Against Attacks: Coursera
  • System Validation (2): Model process behaviour: 28DIGITAL
  • Advanced Prompt Engineering and Memory Management: Packt
  • Engineer AI Models: Explain, Tune & Experiment: Coursera
  • Quality and Safety for LLM Applications: DeepLearning.AI
  • Build & Analyze Financial Models: Twitter Case Study: EDUCBA
  • Secure AI Model Deployments & Lifecycles: 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