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

    Kennesaw State University

    Cybersecurity and the X-Factor

    Skills you'll gain: Cyber Threat Intelligence, Human Factors (Security), Threat Management, Security Awareness, Cybersecurity, Computer Security Awareness Training, Cyber Risk, Cyber Attacks, Security Strategy, Employee Training, Behavior Management, Insurance

    4.7
    Rating, 4.7 out of 5 stars
    ·
    260 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    G

    Google

    Grow as a Manager

    Skills you'll gain: Leadership and Management, Initiative and Leadership, Leadership, Growth Mindedness, AI Enablement

    4.8
    Rating, 4.8 out of 5 stars
    ·
    104 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    I

    Indian School of Business

    A Beginner's Guide to Investing

    Skills you'll gain: Financial Statements, Financial Statement Analysis, Income Statement, Portfolio Management, Financial Accounting, Balance Sheet, Investments, Financial Modeling, Investment Management, Securities Trading, Cash Flows, Financial Market, Market Dynamics, Market Data, Return On Investment, Risk Analysis, Risk Management

    3.2
    Rating, 3.2 out of 5 stars
    ·
    13 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    C

    Codio

    Software Engineering Tools and Practices

    Skills you'll gain: Jest (JavaScript Testing Framework), CI/CD, Model View Controller, User Acceptance Testing (UAT), Continuous Integration, Cucumber (Software), Postman API Platform, Ansible, Software Testing, OAuth, Web Development Tools, Behavior-Driven Development, Application Performance Management, Prometheus (Software), Authentications, Test Driven Development (TDD), Package and Software Management, Cloud API, Javascript, Software Engineering

    4
    Rating, 4 out of 5 stars
    ·
    56 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    L

    LearnQuest

    Introduction to Computer Programming with Visual Basic

    Skills you'll gain: Unified Modeling Language, File I/O, Visual Basic (Programming Language), Database Management, System Software, Databases, Relational Databases, Algorithms, Computer Architecture, Network Security, Computer Hardware, SQL, Computer Science, Development Environment, Data Structures, Object Oriented Programming (OOP), Object Oriented Design, Computer Programming, Microsoft Development Tools, Programming Principles

    4.6
    Rating, 4.6 out of 5 stars
    ·
    169 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado System

    Data Science for Marketing

    Skills you'll gain: Marketing Analytics, Classification And Regression Tree (CART), Probability & Statistics, AI Personalization, Statistical Software, Statistical Methods, Regression Analysis, Model Evaluation, Data-Driven Decision-Making, Data Ethics, Unsupervised Learning, Statistical Modeling, Data Visualization, Customer Analysis, Statistical Analysis, Predictive Analytics, Anomaly Detection, Advanced Analytics, Bayesian Network, Machine Learning

    4.9
    Rating, 4.9 out of 5 stars
    ·
    16 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    U

    University of Amsterdam

    Teaching in University Science Laboratories (Developing Best Practice)

    Skills you'll gain: Laboratory Experience, Laboratory Techniques, User Feedback, Experimentation, Research

    4.7
    Rating, 4.7 out of 5 stars
    ·
    145 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    Universidad de los Andes

    Introducción al mantenimiento de activos físicos

    Skills you'll gain: Asset Management, Facility Management and Maintenance, Maintainability, Capacity Management, Key Performance Indicators (KPIs), Product Lifecycle Management, Performance Measurement, Failure Analysis, Continuous Monitoring, Reliability, Decision Making, Data-Driven Decision-Making, Cost Benefit Analysis, Scheduling

    4.9
    Rating, 4.9 out of 5 stars
    ·
    133 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    B

    Birla Institute of Technology & Science, Pilani

    Introduction to Bioinformatics

    Skills you'll gain: Bioinformatics, Biotechnology, Data Management, Biostatistics, Data Analysis, Data Mining, Applied Machine Learning, Unsupervised Learning, Correlation Analysis, Chemical and Biomedical Engineering, Dimensionality Reduction, Computational Thinking, Markov Model, Algorithms

    3.7
    Rating, 3.7 out of 5 stars
    ·
    6 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    M

    Michigan State University

    Structure: Building the Frame for Business Growth

    Skills you'll gain: Financial Statements, Intellectual Property, Income Statement, Business Planning, Balance Sheet, Financial Modeling, Organizational Structure, Business Strategies, Team Management, Cash Flows, Regulation and Legal Compliance, Legal Risk, Recruitment Strategies

    4.8
    Rating, 4.8 out of 5 stars
    ·
    158 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of California, Irvine

    Database Design and Operational Business Intelligence

    Skills you'll gain: Extract, Transform, Load, Decision Support Systems, Data Warehousing, Data Mining, Database Design, Business Intelligence, Dashboard, Star Schema, Relational Databases, Database Management, Data Visualization Software, Snowflake Schema, Data Visualization, Business Reporting, Database Management Systems, SAS (Software), Data Modeling, Interactive Data Visualization, SQL, Descriptive Statistics

    4.5
    Rating, 4.5 out of 5 stars
    ·
    238 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: Free
    Free
    J

    Johns Hopkins University

    Reducing Gun Violence in America: Evidence for Change

    Skills you'll gain: Injury Prevention, Public Safety and National Security, Public Health, Safety Standards, Public Policies, Policy Analysis, Health Policy, Law, Regulation, and Compliance, Community Health, Risk Analysis, Case Studies

    4.7
    Rating, 4.7 out of 5 stars
    ·
    419 reviews

    Beginner · Course · 1 - 3 Months

1…218219220…574

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

  • Cybersecurity and the X-Factor: Kennesaw State University
  • Grow as a Manager: Google
  • A Beginner's Guide to Investing: Indian School of Business
  • Software Engineering Tools and Practices: Codio
  • Introduction to Computer Programming with Visual Basic: LearnQuest
  • Data Science for Marketing: University of Colorado System
  • Teaching in University Science Laboratories (Developing Best Practice): University of Amsterdam
  • Introducción al mantenimiento de activos físicos: Universidad de los Andes
  • Introduction to Bioinformatics: Birla Institute of Technology & Science, Pilani
  • Structure: Building the Frame for Business Growth: Michigan 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