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

Results for "model+checking"


  • C

    Coursera

    Build & Validate Integrated Financial Models

    Skills you'll gain: Financial Modeling, Model Evaluation, Financial Statements, Financial Statement Analysis, Excel Formulas, Financial Forecasting, Financial Accounting, Financial Reporting, Balance Sheet, Auditing, Microsoft Excel, Performance Stress Testing, Financial Auditing, Income Statement, Finance, Financial Data, Data Validation, Financial Analysis, Spreadsheet Software, Cash Flows

    Intermediate · Course · 1 - 4 Weeks

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

    University of Colorado Boulder

    Fundamentals of Model Checking

    Skills you'll gain: Computational Logic, Systems Design, Verification And Validation, Computer Engineering, Communication Systems, Systems Analysis, Software Systems, Process Modeling, Functional Testing, Theoretical Computer Science, Computational Thinking, Functional Specification, Software Architecture, Model Optimization, Software Design, Graph Theory, Software Testing, Software Quality Assurance, Computer Architecture, Logical Reasoning

    ★ 4.7 (11) · Beginner · Specialization · 1 - 3 Months

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

    Coursera

    Analyze Cases & Evaluate Models in Finance

    Skills you'll gain: Data Storytelling, Financial Auditing, Financial Modeling, Data Presentation, Auditing, Case Studies, Financial Analysis, Financial Data, Quality Assurance, Risk Analysis, Analysis, Model Evaluation, Storytelling, Quality Assessment, Critical Thinking, Verification And Validation, Financial Reporting, Investigation, Due Diligence, Business Valuation

    Intermediate · Course · 1 - 4 Weeks

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

    Coursera

    Build and Evaluate Robust Financial Models

    Skills you'll gain: Financial Modeling, Microsoft Excel, Financial Forecasting, Excel Formulas, Cash Flow Forecasting, Auditing, Business Modeling, Risk Analysis, Financial Analysis, Spreadsheet Software, Cash Flows, Business Valuation, Model Evaluation, Dependency Analysis, Verification And Validation, Quality Assurance

    Intermediate · Course · 1 - 4 Weeks

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

    Coursera

    Model Data in Weaviate

    Skills you'll gain: Quantitative Research, Model Optimization, Prompt Engineering, Retrieval-Augmented Generation, LangChain, Python Programming

    Intermediate · Course · 1 - 4 Weeks

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

    Board Infinity

    Software Quality Assurance and Testing

    Skills you'll gain: Test Automation, Performance Testing, Software Quality Assurance, White-Box Testing, API Testing, Test Script Development, AI Security, Software Quality (SQA/SQC), Performance Stress Testing, Software Development Methodologies, Regression Testing, AI Integrations, Maintainability, Code Review, Scalability, Automation, Code Coverage, Software Technical Review, DevOps, Security Testing

    ★ 4.3 (32) · Beginner · Specialization · 3 - 6 Months

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered

What brings you to Coursera today?

  • C

    Coursera

    Automate and Verify Financial Statements

    Skills you'll gain: Excel Formulas, Financial Modeling, Reconciliation, Microsoft Excel, Financial Statements, Financial Reporting, Financial Statement Analysis, Balance Sheet, Financial Data, Verification And Validation, Profit and Loss (P&L) Management, Financial Analysis, Cash Flows, Income Statement, Automation

    Intermediate · Course · 1 - 4 Weeks

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

    Coursera

    Building, Optimizing, and Validating Machine Learning Models

    Skills you'll gain: Model Training, Model Optimization, Model Evaluation, Machine Learning Software, Applied Machine Learning, Predictive Modeling, Machine Learning Methods, Feature Engineering, Workflow Management, Verification And Validation, Machine Learning, Supervised Learning, Statistical Machine Learning, Statistical Modeling, Scikit Learn (Machine Learning Library), Benchmarking, Random Forest Algorithm, Performance Analysis, Cost Management, Resource Utilization

    Intermediate · Course · 1 - 3 Months

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

    Coursera

    Training, Evaluating, and Monitoring Machine Learning Models

    Skills you'll gain: Model Evaluation, Model Training, MLOps (Machine Learning Operations), System Monitoring, Continuous Monitoring, Model Deployment, Verification And Validation, Performance Metric, A/B Testing, Statistical Methods, Failure Analysis, Statistical Hypothesis Testing, Applied Machine Learning, Statistical Analysis, Scikit Learn (Machine Learning Library), Benchmarking

    Intermediate · Course · 1 - 3 Months

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

    Coursera

    Testing and Refining LLM Applications

    Skills you'll gain: MLOps (Machine Learning Operations), LLM Application, AI Security, Test Automation, Test Script Development, Test Driven Development (TDD), Unit Testing, CI/CD, Continuous Integration, Software Testing, Testability, Large Language Modeling, Model Deployment, Test Case, Responsible AI, Security Testing, AI Workflows, Python Programming, Statistical Analysis, SQL

    Intermediate · Course · 1 - 3 Months

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

    Coursera

    Building Reliable LLM Systems

    Skills you'll gain: LLM Application, Model Evaluation, Large Language Modeling, Retrieval-Augmented Generation, Vector Databases, MLOps (Machine Learning Operations), Performance Tuning, Debugging, Performance Testing, Statistical Methods, Query Languages, SQL, Statistical Hypothesis Testing, Statistical Analysis, Artificial Intelligence and Machine Learning (AI/ML), Data-Driven Decision-Making, Python Programming

    Intermediate · Course · 1 - 3 Months

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

    University of Colorado Boulder

    Introduction to Modeling for Formal Verification

    Skills you'll gain: Systems Design, Computational Logic, Verification And Validation, Computer Engineering, Communication Systems, Software Systems, Process Modeling, Theoretical Computer Science, Graph Theory

    ★ 4.7 (11) · Beginner · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
1234…9

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

  • Build & Validate Integrated Financial Models: Coursera
  • Fundamentals of Model Checking: University of Colorado Boulder
  • Analyze Cases & Evaluate Models in Finance: Coursera
  • Build and Evaluate Robust Financial Models: Coursera
  • Model Data in Weaviate: Coursera
  • Software Quality Assurance and Testing: Board Infinity
  • Automate and Verify Financial Statements: Coursera
  • Building, Optimizing, and Validating Machine Learning Models: Coursera
  • Training, Evaluating, and Monitoring Machine Learning Models: Coursera
  • Testing and Refining LLM Applications: 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