• 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: Preview
    Preview
    T

    The State University of New York

    Ignite Your Everyday Creativity

    Skills you'll gain: Creative Problem-Solving, Creativity, Creative Thinking, Ingenuity, Innovation, Problem Solving, Cognitive flexibility, Curiosity, Open Mindset, Recognizing Others, Adaptability, Self-Awareness, Dealing With Ambiguity

    4.4
    Rating, 4.4 out of 5 stars
    ·
    310 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Preview
    Preview
    G

    Georgia Institute of Technology

    Introduction to High-Throughput Materials Development

    Skills you'll gain: Materials science, Experimentation, New Product Development, Laboratory Research, Product Development, Sustainable Technologies, Chemical Engineering, Process Development, Chemistry, Prototyping, Mechanical Engineering, Laboratory Techniques

    4.6
    Rating, 4.6 out of 5 stars
    ·
    180 reviews

    Intermediate · Course · 1 - 3 Months

  • C

    Coursera

    Create a Project Management Tracker using Microsoft Excel

    Skills you'll gain: Microsoft Excel, Project Management Software, Collaborative Software, Spreadsheet Software, Project Management, Productivity Software, Project Planning, Data Validation

    4.6
    Rating, 4.6 out of 5 stars
    ·
    898 reviews

    Beginner · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    T

    The Linux Foundation

    Linux for Developers

    Skills you'll gain: Package and Software Management, Linux, Command-Line Interface, File Systems, Unix Commands, Linux Administration, Linux Commands, User Accounts, System Configuration, Performance Tuning, System Monitoring, Operating Systems, Network Monitoring, Software Installation

    4.5
    Rating, 4.5 out of 5 stars
    ·
    1.4K reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    P

    Pontificia Universidad Católica de Chile

    Introducción a la Minería de Datos

    Skills you'll gain: Classification Algorithms, Exploratory Data Analysis, Data Mining, Data Analysis, Machine Learning Algorithms, Model Evaluation, Data Management, Data Science, Unsupervised Learning, Big Data, Supervised Learning, Algorithms, Data Preprocessing, Transaction Processing

    4.6
    Rating, 4.6 out of 5 stars
    ·
    1.3K reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    I

    Imperial College London

    Interventions and Calibration

    Skills you'll gain: Mathematical Modeling, Epidemiology, Infectious Diseases, Model Evaluation, Simulations, Statistical Modeling, Predictive Modeling, Data Modeling, R Programming, Statistical Methods, Public Health, Probability Distribution

    4.7
    Rating, 4.7 out of 5 stars
    ·
    56 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    T

    The State University of New York

    Global Health Diplomacy

    Skills you'll gain: Diplomacy, International Relations, Health Policy, Governance, Health Systems, Public Health and Disease Prevention, Public Health, International Finance, Policty Analysis, Research, and Development, Health Care, Public Safety and National Security, Philanthropy, Advocacy, Economic Development, Case Studies

    4.6
    Rating, 4.6 out of 5 stars
    ·
    128 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Leading Change in Health Informatics

    Skills you'll gain: Healthcare Project Management, Health Informatics, Clinical Informatics, Change Control, Health Care Administration, Clinical Leadership, IT Management, Strategic Leadership, Health Care, Decision Support Systems, Continuous Quality Improvement (CQI), Electronic Medical Record, System Implementation, Usability Testing

    4.7
    Rating, 4.7 out of 5 stars
    ·
    307 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free
    Free
    C

    Coursera

    How To Visualize Your Data Using Microsoft Powerpoint

    Skills you'll gain: Presentations, Microsoft PowerPoint, Data Visualization, Data Storytelling, Video Editing

    4.6
    Rating, 4.6 out of 5 stars
    ·
    300 reviews

    Beginner · Guided Project · Less Than 2 Hours

  • Status: Preview
    Preview
    U

    University of California, Irvine

    Diversity and Inclusion for HR Professionals

    Skills you'll gain: Diversity Equity and Inclusion Initiatives, Diversity and Inclusion, Diversity Awareness, Workplace inclusivity, Cultural Responsiveness, Cultural Diversity, Human Resources, Human Resource Strategy, Employee Engagement, Ideation, Decision Making, Recruitment, Leadership

    4.7
    Rating, 4.7 out of 5 stars
    ·
    241 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Illinois Urbana-Champaign

    Operations Management: Organization and Analysis

    Skills you'll gain: Operations Management, Business Operations, Operational Analysis, Manufacturing Operations, Quality Management, Organizational Strategy, Decision Making, Process Analysis, Inventory Management System, Supply Chain, Strategic Decision-Making, Supply Chain Management, Process Design, Statistical Process Controls, Capacity Management

    Build toward a degree

    4.7
    Rating, 4.7 out of 5 stars
    ·
    1.3K reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Kinematics: Describing the Motions of Spacecraft

    Skills you'll gain: Global Positioning Systems, Mechanics, Linear Algebra, Numerical Analysis, Engineering Analysis, Differential Equations, Trigonometry, Mathematical Modeling, Applied Mathematics, Verification And Validation, Advanced Mathematics, Algorithms

    4.9
    Rating, 4.9 out of 5 stars
    ·
    340 reviews

    Advanced · Course · 1 - 4 Weeks

1…157158159…569

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

  • Ignite Your Everyday Creativity: The State University of New York
  • Introduction to High-Throughput Materials Development: Georgia Institute of Technology
  • Create a Project Management Tracker using Microsoft Excel: Coursera
  • Linux for Developers: The Linux Foundation
  • Introducción a la Minería de Datos: Pontificia Universidad Católica de Chile
  • Interventions and Calibration: Imperial College London
  • Global Health Diplomacy: The State University of New York
  • Leading Change in Health Informatics: Johns Hopkins University
  • How To Visualize Your Data Using Microsoft Powerpoint: Coursera
  • Diversity and Inclusion for HR Professionals: University of California, Irvine

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