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

    École Nationale des Ponts et Chaussées

    The hidden value – Lean in manufacturing and services

    Skills you'll gain: Lean Manufacturing, Lean Methodologies, Business Transformation, Continuous Improvement Process, Process Improvement, Manufacturing Operations, Service Improvement, Operational Efficiency, Process Analysis, Value Engineering, Waste Minimization, Competitive Intelligence, Business Technologies, Quality Control

    4.7
    Rating, 4.7 out of 5 stars
    ·
    826 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of California, Irvine

    Basics of Extracellular Vesicles

    Skills you'll gain: Specimen Collection, Specimen Processing, Specimen Preparation, Medical Laboratory, Laboratory Testing, Cell Cultures, Biochemical Assays, Cell Biology, Analytical Chemistry, Laboratory Research, Molecular, Cellular, and Microbiology, Molecular Biology, Biomedical Technology, Laboratory Equipment, Biology

    4.7
    Rating, 4.7 out of 5 stars
    ·
    355 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Creating Business Value with Data and Looker

    Skills you'll gain: Looker (Software), Dashboard, Data Governance, Digital Transformation, Data Literacy, Data Strategy, Real Time Data, Google Cloud Platform, Data Modeling, Business Transformation, Interactive Data Visualization, Data Visualization Software, Data Management, Data Warehousing, Data Storytelling, Pivot Tables And Charts, Performance Tuning, Ad Hoc Analysis, Business Intelligence Software, Query Languages

    4.7
    Rating, 4.7 out of 5 stars
    ·
    456 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Washington

    Business English: Planning & Negotiating

    Skills you'll gain: Negotiation, Event Planning, Business Correspondence, Business Writing, Business Communication, Verbal Communication Skills, Planning, Proposal Development, Decision Making, Customer Complaint Resolution

    4.8
    Rating, 4.8 out of 5 stars
    ·
    610 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    S

    Stanford University

    Fundamentals of Machine Learning for Healthcare

    Skills you'll gain: Healthcare Ethics, Data Ethics, Applied Machine Learning, Machine Learning Algorithms, Machine Learning, Responsible AI, Artificial Neural Networks, Healthcare Industry Knowledge, Model Evaluation, Artificial Intelligence and Machine Learning (AI/ML), Reinforcement Learning, Deep Learning, Convolutional Neural Networks, Health Policy, Data Preprocessing

    4.8
    Rating, 4.8 out of 5 stars
    ·
    610 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Linear Algebra: Linear Systems and Matrix Equations

    Skills you'll gain: Linear Algebra, Algebra, Advanced Mathematics, Mathematical Modeling, Engineering Analysis, Applied Mathematics, Mathematical Theory & Analysis, Geometry

    4.7
    Rating, 4.7 out of 5 stars
    ·
    164 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    I

    IBM

    Penetration Testing, Threat Hunting, and Cryptography

    Skills you'll gain: Cyber Threat Hunting, Cyber Threat Intelligence, Threat Modeling, Penetration Testing, Threat Detection, MITRE ATT&CK Framework, Cryptography, Security Testing, Application Security, Encryption, Cybersecurity, Vulnerability Scanning, AI Security, Vulnerability Assessments, Exploitation techniques, Test Planning

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

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Minnesota

    Introduction to Software Testing

    Skills you'll gain: Software Testing, JUnit, Verification And Validation, Unit Testing, System Testing, Test Case, Test Automation, Development Testing, Test Planning, White-Box Testing, Code Coverage, Software Quality Assurance, Functional Testing, Test Data

    4.3
    Rating, 4.3 out of 5 stars
    ·
    821 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    C

    Columbia University

    Causal Inference

    Skills you'll gain: Statistical Inference, Regression Analysis, Statistical Methods, Sampling (Statistics), Statistical Modeling, Machine Learning, Experimentation, Data Collection, Probability & Statistics, Research Design, Econometrics, Program Evaluation, Logistic Regression

    3.4
    Rating, 3.4 out of 5 stars
    ·
    102 reviews

    Advanced · Course · 1 - 3 Months

  • U

    University of New Mexico

    Web Application Development: Basic Concepts

    Skills you'll gain: Web Applications, Full-Stack Web Development, Git (Version Control System), Middleware, Software Architecture, User Interface (UI), Agile Software Development, Application Frameworks, Ajax, Model View Controller, Databases, Relational Databases, Software Development, Ruby on Rails, Software Design Patterns, Cascading Style Sheets (CSS), Javascript

    4.3
    Rating, 4.3 out of 5 stars
    ·
    184 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Preview
    Preview
    M

    McMaster University

    Experimentation for Improvement

    Skills you'll gain: Experimentation, Data Visualization, Predictive Modeling, Pareto Chart, Regression Analysis, Process Optimization, Statistical Software, Statistical Methods, Mathematical Modeling, R Programming, Data Analysis, Statistical Analysis, Applied Mathematics

    4.9
    Rating, 4.9 out of 5 stars
    ·
    928 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Virginia

    Managing an Agile Team

    Skills you'll gain: Agile Software Development, Agile Methodology, Agile Project Management, Team Performance Management, Team Management, Team Building, Team Leadership, Sprint Retrospectives, Backlogs, Kanban Principles, Sales Presentation, Innovation, Lean Methodologies, Process Improvement, Selling Techniques, Prioritization, Discussion Facilitation, Goal Setting

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

    Mixed · Course · 1 - 4 Weeks

1…138139140…573

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

  • The hidden value – Lean in manufacturing and services: École Nationale des Ponts et Chaussées
  • Basics of Extracellular Vesicles: University of California, Irvine
  • Creating Business Value with Data and Looker: Google Cloud
  • Business English: Planning & Negotiating: University of Washington
  • Fundamentals of Machine Learning for Healthcare: Stanford University
  • Linear Algebra: Linear Systems and Matrix Equations: Johns Hopkins University
  • Penetration Testing, Threat Hunting, and Cryptography: IBM
  • Introduction to Software Testing: University of Minnesota
  • Causal Inference: Columbia University
  • Web Application Development: Basic Concepts: University of New Mexico

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