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

Results for "model checking"


  • C

    Coursera

    Unravel Financial Statements: Modeling Concepts

    Skills you'll gain: Financial Modeling, Operational Analysis, Business Modeling, Financial Statements, Financial Accounting, Financial Statement Analysis, Financial Forecasting, Financial Analysis, Accounting, Balance Sheet, Cash Flows, Business Valuation, Income Statement, Cash Flow Forecasting, Storytelling

    Intermediate · Course · 1 - 4 Weeks

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

    Coursera

    Validate and Explain Your ML Models

    Skills you'll gain: Verification And Validation, Sampling (Statistics), Statistical Machine Learning, Test Data, Machine Learning

    Intermediate · Course · 1 - 4 Weeks

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

    Coursera

    Evaluate, Analyze, and Model Performance

    Skills you'll gain: Performance Metric, Predictive Modeling, Data-Driven Decision-Making, Failure Analysis, Statistical Analysis, Statistical Hypothesis Testing, Sampling (Statistics)

    Intermediate · Course · 1 - 4 Weeks

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

    Fractal Analytics

    Model Context Protocol (MCP) Mastery

    Skills you'll gain: Model Context Protocol, AI Security, AI Integrations, Threat Modeling, Context Engineering, Enterprise Architecture, Generative AI Agents, Security Engineering, Context Management, Interoperability, Agentic systems, Generative AI

    ★ 4.5 (55) · Intermediate · Course · 1 - 4 Weeks

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

    Coursera

    Model Scenarios: Financial Outcomes

    Skills you'll gain: Financial Forecasting, Risk Analysis, Analysis, Scenario Testing, Business Metrics, Mathematical Modeling, Forecasting, Risk Modeling, Excel Formulas, Financial Reporting, Business Modeling, Management Reporting, Performance Stress Testing, Business Risk Management, Data Analysis, Decision Support Systems

    Intermediate · Course · 1 - 4 Weeks

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

    University of Colorado Boulder

    Verification and Synthesis of Autonomous Systems

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

    ★ 3.8 (11) · Intermediate · Course · 1 - 3 Months

    Status: Free Trial
    Free Trial
    Category: Build toward a degree
    Build toward a degree
  • G

    Google Cloud

    Model Armor:保護您部署的 AI 應用程式

    Skills you'll gain: AI Security, LLM Application, Large Language Modeling, Open Web Application Security Project (OWASP), AI Integrations, Model Deployment, Security Controls, Security Software, Google Cloud Platform, Application Programming Interface (API), System Configuration

    Beginner · Course · 1 - 3 Months

    Category: Credit offered
    Credit offered
  • C

    Coursera

    AI Model Development & Deployment

    Skills you'll gain: Fine-tuning, Model Deployment, MLOps (Machine Learning Operations), AWS SageMaker, Software Documentation, Data Pipelines, AI Integrations, Tensorflow, Solution Architecture, Model Evaluation, Apache Airflow, Model Optimization, Systems Design, Transfer Learning, Unit Testing, PyTorch (Machine Learning Library), API Design, Cloud Computing, Network Architecture, Deep Learning

    Intermediate · Specialization · 1 - 3 Months

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

    Coursera

    Model Project Cashflows with Confidence

    Skills you'll gain: Cash Flow Forecasting, Project Finance, Financial Modeling, Financial Forecasting, Financial Analysis, Finance, Cash Management, Cash Flows, Revenue Forecasting, Project Management Life Cycle, Capital Expenditure, Waterfall Methodology, Private Equity, Microsoft Excel, Timelines, Operating Expense

    Intermediate · Course · 1 - 4 Weeks

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

    The Hong Kong University of Science and Technology

    Software Engineering: Implementation and Testing

    Skills you'll gain: White-Box Testing, Acceptance Testing, Software Development Methodologies, Configuration Management, Debugging, Systems Development Life Cycle, Software Development Life Cycle, Software Testing, Software Development, Software Engineering, Unified Modeling Language, Software Quality Assurance, Software Configuration Management, User Acceptance Testing (UAT), System Design and Implementation, Change Control, Test Case, Requirements Analysis, Waterfall Methodology, Project Management

    ★ 4.6 (141) · Intermediate · Course · 1 - 3 Months

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

    The Hong Kong University of Science and Technology

    Software Engineering: Modeling Software Systems using UML

    Skills you'll gain: Requirements Analysis, Unified Modeling Language, Object Oriented Design, Functional Requirement, Data Modeling, Object Oriented Programming (OOP), Systems Development Life Cycle, System Requirements, Functional Specification, Diagram Design, Software Development, Software Engineering, Software Systems, Model Evaluation, Project Planning, Project Management

    ★ 4.6 (383) · Intermediate · Course · 1 - 3 Months

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

    The Chinese University of Hong Kong

    离散优化建模高阶篇 Advanced Modeling for Discrete Optimization

    Skills you'll gain: Model Optimization, Mathematical Modeling, Advanced Mathematics, Operations Research, Debugging, Code Reusability, Algorithms

    ★ 4.3 (6) · Intermediate · Course · 1 - 3 Months

    Category: Free
    Free
    Category: Credit offered
    Credit offered
1…456…426

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

  • Unravel Financial Statements: Modeling Concepts: Coursera
  • Validate and Explain Your ML Models: Coursera
  • Evaluate, Analyze, and Model Performance: Coursera
  • Model Context Protocol (MCP) Mastery: Fractal Analytics
  • Model Scenarios: Financial Outcomes: Coursera
  • Verification and Synthesis of Autonomous Systems: University of Colorado Boulder
  • Model Armor:保護您部署的 AI 應用程式: Google Cloud
  • AI Model Development & Deployment: Coursera
  • Model Project Cashflows with Confidence: Coursera
  • Software Engineering: Implementation and Testing: The Hong Kong University of Science and Technology

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