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


  • P

    Packt

    COBIT 2019 Foundation

    Skills you'll gain: Control Objectives for Information and Related Technology (COBIT), IT Management, Information Technology Architecture, Performance Management, Governance, Enterprise Architecture, Program Implementation, Process Management, Information Technology, Business Process, Training and Development, Risk Management

    5
    Rating, 5 out of 5 stars
    ·
    7 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    Status: Preview
    Preview
    L

    LearnQuest

    Scrum Certification with AI

    Skills you'll gain: Responsible AI, Backlogs, AI Product Strategy, Data Ethics, Scrum (Software Development), AI Enablement, Sprint Planning, Sprint Retrospectives, Risking, Scaled Agile Framework, Artificial Intelligence, AI Personalization, Prompt Engineering, Agile Software Development, Agile Methodology, AI Workflows, Agile Project Management, Agile Product Development, Generative AI, Predictive Analytics

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    P

    Packt

    Foundations of Data Analysis with Pandas and Python

    Skills you'll gain: Data Import/Export, Pandas (Python Package), Pivot Tables And Charts, Jupyter, Microsoft Excel, Data Analysis, Data Manipulation, Python Programming, Data Structures, Development Environment, Object Oriented Programming (OOP)

    4.7
    Rating, 4.7 out of 5 stars
    ·
    30 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    I

    Illinois Tech

    Introduction to Open Source Application Development

    Skills you'll gain: Unified Modeling Language, File I/O, Debugging, Object Oriented Programming (OOP), Python Programming, Computer Programming, System Programming, Pseudocode, Program Development, Event-Driven Programming, Software Design, User Interface (UI), Data Structures

    Build toward a degree

    4.7
    Rating, 4.7 out of 5 stars
    ·
    21 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    University of Illinois Urbana-Champaign

    Leadership

    Skills you'll gain: Leadership and Management, Decision Making, Ethical Standards And Conduct, Business Ethics, Emotional Intelligence, Business Leadership, Organizational Leadership, Empathy & Emotional Intelligence, Leadership, Leadership Development, Waterfall Methodology, Initiative and Leadership, Motivational Skills, Team Motivation, Project Management Life Cycle, Project Management, Self-Awareness

    4.2
    Rating, 4.2 out of 5 stars
    ·
    26 reviews

    Beginner · Course · 1 - 4 Weeks

  • P

    Packt

    ReactJS - The Beginner Masterclass

    Skills you'll gain: React.js, Application Deployment, Cloud Deployment, Web Applications, Javascript, Bootstrap (Front-End Framework), Development Environment, User Interface (UI), Cascading Style Sheets (CSS), Application Programming Interface (API)

    5
    Rating, 5 out of 5 stars
    ·
    10 reviews

    Beginner · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    P

    Packt

    Machine Learning, Data Science and Generative AI with Python

    Skills you'll gain: Apache Spark, PySpark, Retrieval-Augmented Generation, OpenAI API, Generative AI, Model Evaluation, Data Preprocessing, Large Language Modeling, Generative Adversarial Networks (GANs), Predictive Modeling, Matplotlib, Keras (Neural Network Library), Transfer Learning, Deep Learning, ChatGPT, Applied Machine Learning, Seaborn, Data Visualization, Regression Analysis, Machine Learning

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    B

    Board Infinity

    Building Applications with Spring Boot and MVC Architecture

    Skills you'll gain: Software Documentation, Java, Back-End Web Development, Application Programming Interface (API), Secure Coding, Databases, Data Persistence, Dependency Analysis

    3.7
    Rating, 3.7 out of 5 stars
    ·
    6 reviews

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    RStudio for Six Sigma - Hypothesis Testing

    Skills you'll gain: Statistical Hypothesis Testing, Logistic Regression, Correlation Analysis, Six Sigma Methodology, R (Software), R Programming, Statistical Programming, Statistical Analysis, Statistical Methods, Regression Analysis, Probability & Statistics, Data Literacy, Data Science

    4.6
    Rating, 4.6 out of 5 stars
    ·
    14 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: New
    New
    Status: Preview
    Preview
    E

    EDUCBA

    Financial Budgeting: Analyze & Apply Planning Tools

    Skills you'll gain: Budgeting, Capital Budgeting, Budget Management, Operating Budget, Financial Management, Financial Analysis, Cash Flows, Financial Planning, Cash Flow Forecasting, Capital Expenditure, Return On Investment, Cost Benefit Analysis, Investments, Decision Making

    4.8
    Rating, 4.8 out of 5 stars
    ·
    16 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    P

    Pearson

    Certified Ethical Hacker (CEH): Unit 1

    Skills you'll gain: Penetration Testing, Cyber Security Assessment, Security Testing, Cybersecurity, Cyber Operations, Information Systems Security, Information Systems Security Assessment Framework (ISSAF), Cyber Security Strategy, Vulnerability Assessments, Cyber Threat Intelligence, Threat Modeling, Exploit development, Exploitation techniques, Cyber Attacks, Cyber Security Policies, Computer Security, Security Controls, Data Security

    4.6
    Rating, 4.6 out of 5 stars
    ·
    11 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    C

    Coursera

    Effective Strategies for Improving Employee Retention 

    Skills you'll gain: Employee Retention, Employee Engagement, Workplace inclusivity, Talent Management, Employee Surveys, Employee Coaching, Employee Performance Management, Diversity and Inclusion, Telecommuting, Compensation Management, Workforce Management, Stress First Aid, Professional Development, Constructive Feedback, Virtual Teams, Mentorship

    4.6
    Rating, 4.6 out of 5 stars
    ·
    22 reviews

    Beginner · Course · 1 - 4 Weeks

1…391392393…584

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

  • COBIT 2019 Foundation : Packt
  • Scrum Certification with AI: LearnQuest
  • Foundations of Data Analysis with Pandas and Python: Packt
  • Introduction to Open Source Application Development: Illinois Tech
  • Leadership : University of Illinois Urbana-Champaign
  • ReactJS - The Beginner Masterclass: Packt
  • Machine Learning, Data Science and Generative AI with Python: Packt
  • Building Applications with Spring Boot and MVC Architecture: Board Infinity
  • RStudio for Six Sigma - Hypothesis Testing: Coursera
  • Financial Budgeting: Analyze & Apply Planning Tools: EDUCBA

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