• 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

    LearnQuest

    Spring MVC, Spring Boot and Rest Controllers

    Skills you'll gain: Model View Controller, Spring Framework, Restful API, Spring Boot, Web Services, JSON, YAML, Web Applications, Configuration Management, Angular, Java Programming, Application Frameworks, Software Architecture, Middleware, Extensible Markup Language (XML)

    4.1
    Rating, 4.1 out of 5 stars
    ·
    223 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of Colorado Boulder

    Designing Effective Science Communication

    Skills you'll gain: Oral Expression, Human Learning, Education Software and Technology, Technical Communication, Education and Training, Writing, Community Outreach, Learning Theory, Research, Technical Writing, Learning Management Systems, Scientific Methods, Media and Communications, Science and Research, Persuasive Communication, Program Evaluation, Interviewing Skills, Photography, Infographics, Storytelling

    4.7
    Rating, 4.7 out of 5 stars
    ·
    131 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    K

    Kennesaw State University

    Six Sigma Tools for Improve and Control

    Skills you'll gain: Six Sigma Methodology, Process Improvement, Process Optimization, Correlation Analysis, Statistical Hypothesis Testing, Lean Six Sigma, Kaizen Methodology, Quality Improvement, Regression Analysis, Statistical Process Controls, Continuous Improvement Process, Process Capability, Project Management, Quality Management, Cost Benefit Analysis, Statistical Inference, Document Control

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

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    D

    Duke University

    MLOps | Machine Learning Operations

    Skills you'll gain: MLOps (Machine Learning Operations), Model Deployment, Cloud Deployment, Pandas (Python Package), AWS SageMaker, NumPy, Microsoft Azure, Hugging Face, Responsible AI, Data Manipulation, Exploratory Data Analysis, Containerization, DevOps, Cloud Computing, Python Programming, Machine Learning, GitHub, Big Data, Data Management, Data Analysis

    4.2
    Rating, 4.2 out of 5 stars
    ·
    576 reviews

    Advanced · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    M

    Michigan State University

    Script Writing: Write a Pilot Episode for a TV or Web Series (Project-Centered Course)

    Skills you'll gain: Peer Review, Storyboarding, Editing, Storytelling

    4.5
    Rating, 4.5 out of 5 stars
    ·
    791 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of London

    International Business Essentials

    Skills you'll gain: Financial Statements, Business Planning, Sampling (Statistics), Management Training And Development, Descriptive Statistics, Organizational Structure, Change Management, Data Presentation, Professional Networking, Business Mathematics, Verbal Communication Skills, Team Building, Team Management, Business Strategy, Professionalism, Resource Allocation, Competitive Analysis, Linear Algebra, Mathematical Modeling, International Finance

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

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    R

    Rice University

    Basic Data Descriptors, Statistical Distributions, and Application to Business Decisions

    Skills you'll gain: Statistics, Descriptive Statistics, Probability & Statistics, Probability Distribution, Business Analytics, Microsoft Excel, Data Analysis, Statistical Analysis, Box Plots, Sampling (Statistics), Correlation Analysis

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

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    R

    Rice University

    Mindfulness and Well-being: Foundations

    Skills you'll gain: Mindfulness, Self-Awareness, Mental Health, Mental Concentration, Stress Management, Personal Development, Resilience, Cognitive flexibility, Persistence, Overcoming Obstacles, Patience, Emotional Intelligence

    4.8
    Rating, 4.8 out of 5 stars
    ·
    860 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    J

    Johns Hopkins University

    Single Page Web Applications with AngularJS

    Skills you'll gain: Angular, JavaScript Frameworks, Unit Testing, Ajax, Cloud Applications, Web Applications, Web Components, Front-End Web Development, Web Development, Javascript, Model View Controller, Software Architecture, Hypertext Markup Language (HTML), UI Components, Software Design Patterns

    4.8
    Rating, 4.8 out of 5 stars
    ·
    1.9K reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    M

    Microsoft

    Microsoft Power Platform Fundamentals PL-900 Exam Prep

    Skills you'll gain: Microsoft Power Platform, Microsoft Power Automate/Flow, Power BI, Dashboard, No-Code Development, Data Visualization, Power Apps Component Framework, Business Intelligence, Business Process Automation, Application Development, Data Integration, Performance Analysis, Application Design, Automation, Data Security, Business Process, Computing Platforms, Microsoft Teams, Data Analysis Software, Data Modeling

    4.3
    Rating, 4.3 out of 5 stars
    ·
    269 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: Preview
    Preview
    U

    University of Geneva

    Particle Physics: an Introduction

    Skills you'll gain: Physics, electromagnetics, Materials science, Laboratory Equipment, Physical Science, Radiation Protection, Experimentation, Mechanics, Research

    4.4
    Rating, 4.4 out of 5 stars
    ·
    962 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of California San Diego

    Big Data Modeling and Management Systems

    Skills you'll gain: Data Modeling, Big Data, Data Management, Database Management Systems, Real Time Data, NoSQL, Database Design, Data Processing, Apache Hadoop, Data Structures, Scalability, Virtual Environment

    4.4
    Rating, 4.4 out of 5 stars
    ·
    3K reviews

    Mixed · Course · 1 - 3 Months

1…135136137…573

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

  • Spring MVC, Spring Boot and Rest Controllers: LearnQuest
  • Designing Effective Science Communication: University of Colorado Boulder
  • Six Sigma Tools for Improve and Control: Kennesaw State University
  • MLOps | Machine Learning Operations: Duke University
  • Script Writing: Write a Pilot Episode for a TV or Web Series (Project-Centered Course): Michigan State University
  • International Business Essentials: University of London
  • Basic Data Descriptors, Statistical Distributions, and Application to Business Decisions: Rice University
  • Mindfulness and Well-being: Foundations: Rice University
  • Single Page Web Applications with AngularJS: Johns Hopkins University
  • Microsoft Power Platform Fundamentals PL-900 Exam Prep: Microsoft

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