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


  • Status: Free Trial
    Free Trial
    L

    L&T EduTech

    Hydrocarbon Exploration and Production

    Skills you'll gain: Oil and Gas, Petroleum Industry, Environmental Engineering, Environmental Regulations, Energy and Utilities, Chemical Engineering, Automation Engineering, Engineering Analysis, Geostatistics, Water Resources, Production Process, Hydraulics, Emerging Technologies, Analytical Testing

    4.7
    Rating, 4.7 out of 5 stars
    ·
    69 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    I

    IBM

    Introduction to Test and Behavior Driven Development

    Skills you'll gain: Test Driven Development (TDD), Software Testing, Behavior-Driven Development, Code Coverage, Test Tools, Test Automation, Unit Testing, Test Data, Integration Testing, Test Case, Verification And Validation, Mockups

    4.8
    Rating, 4.8 out of 5 stars
    ·
    240 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    É

    École Polytechnique

    Aléatoire : une introduction aux probabilités - Partie 1

    Skills you'll gain: Probability, Probability Distribution, Simulations, Probability & Statistics, Statistical Methods, Mathematical Modeling, Mathematical Theory & Analysis, Applied Mathematics

    4.5
    Rating, 4.5 out of 5 stars
    ·
    105 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    D

    DeepLearning.AI

    Applied Statistics for Data Analytics

    Skills you'll gain: Probability & Statistics, Statistical Analysis, Statistics, Statistical Hypothesis Testing, Statistical Visualization, Descriptive Statistics, Data Analysis, Histogram, Probability Distribution, Correlation Analysis, Statistical Inference, Estimation, Simulation and Simulation Software, Sampling (Statistics), LLM Application, Spreadsheet Software

    4.9
    Rating, 4.9 out of 5 stars
    ·
    54 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of Manchester

    Managing Responsibly: Practicing Sustainability, Responsibility and Ethics

    Skills you'll gain: Sustainable Business, Corporate Sustainability, Business Ethics, Environmental Social And Corporate Governance (ESG), Sustainable Development, Intercultural Competence, Ethical Standards And Conduct, Team Oriented, Decision Making, Cultural Diversity, Systems Thinking, Stakeholder Management

    4.8
    Rating, 4.8 out of 5 stars
    ·
    680 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    N

    National Taiwan University

    Operations Research (3): Theory

    Skills you'll gain: Operations Research, Network Model, Applied Machine Learning, Case Studies, Applied Mathematics, Mathematical Modeling, Transportation Operations, Business Analytics, Advanced Mathematics, Linear Algebra, Algorithms

    4.9
    Rating, 4.9 out of 5 stars
    ·
    95 reviews

    Advanced · Course · 1 - 3 Months

  • Status: Preview
    Preview
    B

    Board Infinity

    Generative AI: Prompt Engineering Basics

    Skills you'll gain: Responsible AI, LLM Application, Model Evaluation, Scripting, Debugging

    4.6
    Rating, 4.6 out of 5 stars
    ·
    51 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    S

    SkillUp

    Business Analysis: Process Modeling & Requirements Gathering

    Skills you'll gain: Business Analysis, Business Process Modeling, Process Optimization, Requirements Management, Business Requirements, Process Analysis, Data Modeling, Stakeholder Analysis, Agile Methodology, Requirements Analysis, Process Improvement, User Story, Data Flow Diagrams (DFDs), Gap Analysis

    4.7
    Rating, 4.7 out of 5 stars
    ·
    65 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    E

    Edureka

    Advanced Microsoft Power BI

    Skills you'll gain: Data Transformation, Machine Learning Methods

    4.5
    Rating, 4.5 out of 5 stars
    ·
    95 reviews

    Advanced · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    A

    Arizona State University

    Additive Manufacturing

    Skills you'll gain: Manufacturing Processes, Schematic Diagrams, Engineering Design Process, Computer-Aided Design, Production Process, 3D Assets, Materials science, Design Strategies, Prototyping, Mechanical Engineering, Process Engineering, 3D Modeling, Manufacturing Operations, Design, Equipment Design, Experimentation, Laboratory Experience, Manufacturing and Production, Systems Of Measurement, Process Analysis

    4.8
    Rating, 4.8 out of 5 stars
    ·
    204 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    S

    SoFi

    Introduction to Personal Finance

    Skills you'll gain: Goal Setting, Cash Flows, Budgeting, Smart Goals, Tax, Financial Planning, Financial Analysis, Income Tax, Credit Risk, Expense Management, Asset Management, Decision Making

    4.6
    Rating, 4.6 out of 5 stars
    ·
    236 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    E

    Emory University

    Meaningful Marketing Insights

    Skills you'll gain: Pivot Tables And Charts, Marketing Analytics, Descriptive Statistics, Microsoft Excel, Regression Analysis, Data Analysis, Data-Driven Decision-Making, Marketing, Marketing Effectiveness, Exploratory Data Analysis, Consumer Behaviour, Statistical Analysis, Data Manipulation

    4.3
    Rating, 4.3 out of 5 stars
    ·
    290 reviews

    Intermediate · Course · 1 - 3 Months

1…150151152…569

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

  • Hydrocarbon Exploration and Production: L&T EduTech
  • Introduction to Test and Behavior Driven Development: IBM
  • Aléatoire : une introduction aux probabilités - Partie 1: École Polytechnique
  • Applied Statistics for Data Analytics: DeepLearning.AI
  • Managing Responsibly: Practicing Sustainability, Responsibility and Ethics: University of Manchester
  • Operations Research (3): Theory: National Taiwan University
  • Generative AI: Prompt Engineering Basics: Board Infinity
  • Business Analysis: Process Modeling & Requirements Gathering: SkillUp
  • Advanced Microsoft Power BI: Edureka
  • Additive Manufacturing: Arizona State University

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

  • Artificial Intelligence (AI)
  • Cybersecurity
  • Data Analytics
  • Digital Marketing
  • English Speaking
  • Generative AI (GenAI)
  • Microsoft Excel
  • Microsoft Power BI
  • Project Management
  • Python

Certificates & Programs

  • Google Cybersecurity Certificate
  • Google Data Analytics Certificate
  • Google IT Support Certificate
  • Google Project Management Certificate
  • Google UX Design Certificate
  • IBM Data Analyst Certificate
  • IBM Data Science Certificate
  • Machine Learning Certificate
  • Microsoft Power BI Data Analyst Certificate
  • UI / UX Design Certificate

Industries & Careers

  • Business
  • Computer Science
  • Data Science
  • Education & Teaching
  • Engineering
  • Finance
  • Healthcare
  • Human Resources (HR)
  • Information Technology (IT)
  • Marketing

Career Resources

  • Career Aptitude Test
  • Examples of Strengths and Weaknesses for Job Interviews
  • High-Income Skills to Learn
  • How Does Cryptocurrency Work?
  • How to Highlight Duplicates in Google Sheets
  • How to Learn Artificial Intelligence
  • Popular Cybersecurity Certifications
  • Preparing for the PMP Certification
  • Signs You Will Get the Job After an Interview
  • What Is Artificial Intelligence?

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