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

Results for "infinite-state+stochastic+model+checking+methods"


  • 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
  • C

    Coursera

    Validating and Safeguarding Production AI

    Skills you'll gain: Anomaly Detection, MLOps (Machine Learning Operations), AI Security, Software Engineering, Model Training, DevOps, Software Quality Assurance, Maintainability, CI/CD, Model Deployment, Performance Tuning, Security Testing, Model Evaluation, Secure Coding, Performance Testing, Continuous Monitoring, Integration Testing, Data Validation, Sampling (Statistics), Python Programming

    Intermediate · Course · 1 - 3 Months

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

    Board Infinity

    Agent Foundations and Prompt Engineering

    Skills you'll gain: Prompt Engineering, Prompt Patterns, LLM Application, Generative AI Agents, AI Workflows, AI Orchestration, Agentic Workflows, Large Language Modeling, Tool Calling, Agentic systems, Debugging, Quality Assurance, Model Evaluation

    Intermediate · Course · 1 - 4 Weeks

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

    Board Infinity

    AI Risk and Compliance: Audit and Governance Foundations

    Skills you'll gain: AI Security, Vulnerability Assessments, Governance Risk Management and Compliance, Responsible AI, Compliance Auditing, Personally Identifiable Information, Regulatory Compliance, Regulatory Requirements, Compliance Management, Law, Regulation, and Compliance, Regulatory Documents, Compliance Reporting, Safety Audits, Threat Modeling, Security Testing, Legal Risk, Safety Assurance, Risk Management Framework, Data Loss Prevention, Prompt Engineering

    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.2 (34) · Beginner · Specialization · 3 - 6 Months

    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

What brings you to Coursera today?

  • C

    Coursera

    Probabilistic Graphical Models: A Compact Introduction

    Skills you'll gain: Bayesian Network, Bayesian Statistics, Network Model, Artificial Intelligence and Machine Learning (AI/ML), Predictive Modeling, Markov Model, Statistical Modeling, Statistical Inference, Graph Theory, Probability & Statistics, Sampling (Statistics), Algorithms

    Intermediate · Course · 1 - 4 Weeks

    Category: New
    New
    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • B

    Board Infinity

    MLOps and LLMOps: Deploying and Scaling AI in Production

    Skills you'll gain: MLOps (Machine Learning Operations), Model Deployment, LLM Application, Application Deployment, Model Training, Cloud Deployment, Continuous Deployment, AI Workflows, AI Security, Data Ethics, Responsible AI, Prompt Engineering, Retrieval-Augmented Generation, Scalability, CI/CD, Site Reliability Engineering, Model Evaluation, Release Management, System Monitoring, Containerization

    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

    Calibrate and Serve Confident AI Predictions

    Skills you'll gain: Model Evaluation, MLOps (Machine Learning Operations), AI Workflows, Applied Machine Learning, Model Optimization, Data Pipelines, Responsible AI, Statistical Modeling

    Intermediate · Course · 1 - 4 Weeks

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

    Coursera

    Validate, Analyze, and Monitor ML Models

    Skills you'll gain: Verification And Validation, Release Management, Maintainability, Experimentation, Performance Testing, Benchmarking, Performance Analysis

    Intermediate · Course · 1 - 4 Weeks

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

    University of Leeds

    Foundations of Software Testing and Validation

    Skills you'll gain: Test Case, Software Testing, Software Quality Assurance, Quality Assurance, Verification And Validation, Software Development Life Cycle, Software Development

    ★ 4.6 (445) · Beginner · Course · 1 - 4 Weeks

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
1234…10

In summary, here are 10 of our most popular infinite-state+stochastic+model+checking+methods courses

  • Build & Validate Integrated Financial Models: Coursera
  • Validating and Safeguarding Production AI: Coursera
  • Agent Foundations and Prompt Engineering: Board Infinity
  • AI Risk and Compliance: Audit and Governance Foundations: Board Infinity
  • Software Quality Assurance and Testing: Board Infinity
  • Building Reliable LLM Systems: Coursera
  • Probabilistic Graphical Models: A Compact Introduction: Coursera
  • MLOps and LLMOps: Deploying and Scaling AI in Production: Board Infinity
  • Validate and Explain Your ML Models: Coursera
  • Calibrate and Serve Confident AI Predictions: 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