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

    The Hong Kong University of Science and Technology

    Software Engineering: Software Design and Project Management

    Skills you'll gain: Software Design Patterns, Software Architecture, Software Development Life Cycle, Software Design, Process Driven Development, Software Engineering, Quality Assurance, Systems Development, Systems Analysis, Object Oriented Design, Systems Design, Project Management, Project Planning, Unified Modeling Language

    4.6
    Rating, 4.6 out of 5 stars
    ·
    193 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    B

    Board Infinity

    Frontend Development using React

    Skills you'll gain: HTML and CSS, React.js, Web Applications, Front-End Web Development, Javascript, Cascading Style Sheets (CSS), Web Development, User Interface (UI)

    4.2
    Rating, 4.2 out of 5 stars
    ·
    58 reviews

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Construct Stock Market Indices

    Skills you'll gain: Market Data, Google Sheets, Data Import/Export, Equities, Financial Modeling, Financial Analysis, Financial Market

    4.5
    Rating, 4.5 out of 5 stars
    ·
    207 reviews

    Advanced · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    The Need for Systems Engineering

    Skills you'll gain: Model Based Systems Engineering, Systems Engineering, Requirements Analysis, Test Engineering, Systems Thinking, Systems Architecture, Test Planning, Systems Analysis, Functional Requirement, Risk Management Framework, System Testing, System Requirements, Verification And Validation

    Build toward a degree

    4.8
    Rating, 4.8 out of 5 stars
    ·
    88 reviews

    Beginner · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    M

    Microsoft

    Microsoft Introduction to C++ Programming

    Skills you'll gain: Debugging, C++ (Programming Language), Software Documentation, API Design, Program Development, Pseudocode, Software Architecture, Software Design, Maintainability, Computational Thinking, System Programming, Data Structures, Programming Principles, Computer Programming, Generative AI Agents, Integrated Development Environments, Technical Documentation, Generative AI, Application Development, Data Validation

    4.3
    Rating, 4.3 out of 5 stars
    ·
    9 reviews

    Beginner · Professional Certificate · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    T

    Technical University of Munich (TUM)

    Cost Accounting: Profit and Loss Calculation

    Skills you'll gain: Income Statement, Inventory Accounting, Profit and Loss (P&L) Management, Cost Accounting, Gross Profit, Management Accounting, Financial Accounting, Financial Statements, Inventory Management System, Operating Expense

    4.7
    Rating, 4.7 out of 5 stars
    ·
    89 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    C

    Coursera

    Systems Thinking Basics

    Skills you'll gain: Systems Thinking, Creative Thinking, Innovation, Systems Analysis, Complex Problem Solving, Analysis, Business Systems Analysis, Strategic Thinking, Critical Thinking, Organizational Change, Decision Making, Collaboration, Data Visualization

    4.6
    Rating, 4.6 out of 5 stars
    ·
    72 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Sustainable Transportation Networks and Streetscapes

    Skills you'll gain: Traffic Flow Optimization, Stormwater Management, Public Works, Landscape Architecture, Civil Engineering, Environmental Engineering, Sustainable Development, Health Equity, Architectural Design, Water Resources, Sustainable Design, Community Development, Environmental Issue

    4.7
    Rating, 4.7 out of 5 stars
    ·
    82 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    L

    LearnKartS

    Project Management Knowledge Areas

    Skills you'll gain: Cost Management, Project Management Institute (PMI) Methodology, Project Risk Management, Scope Management, Project Schedules, Project Management, Project Management Life Cycle, Requirements Management, Cost Estimation, Resource Management, Risk Management, Project Planning, Communication Planning, Risk Mitigation, Quality Management, Project Estimation, Stakeholder Management, Scheduling, Stakeholder Communications, Project Documentation

    4.4
    Rating, 4.4 out of 5 stars
    ·
    77 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    C

    Copenhagen Business School

    Business Models For Sustainability

    Skills you'll gain: Sustainable Business, Corporate Sustainability, Stakeholder Engagement, Sustainable Development, Business Modeling, Innovation, Environmental Social And Corporate Governance (ESG), Marketing Communications, Business Strategies, Case Studies, Systems Thinking, Strategic Partnership

    4.6
    Rating, 4.6 out of 5 stars
    ·
    42 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    N

    Northwestern University

    Organizational Leadership Capstone

    Skills you'll gain: Data-Driven Decision-Making, Strategic Communication, Collaboration, Crisis Management, Team Leadership, Organizational Leadership, Business Leadership, Culture Transformation, Strategic Decision-Making, Strategic Leadership, Customer experience strategy (CX), Case Studies, Human Centered Design, Innovation, Decision Making, Peer Review

    4.7
    Rating, 4.7 out of 5 stars
    ·
    111 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    L

    LearnQuest

    Angular 17

    Skills you'll gain: Angular, JavaScript Frameworks, Web Components, Application Deployment, Cascading Style Sheets (CSS), TypeScript, Application Frameworks, UI Components, Web Development Tools, Frontend Performance, Data Transformation, Application Design, Server Side, Front-End Web Development, Hypertext Markup Language (HTML), Web Services, Web Applications, Network Routing, Software Architecture, Model View Controller

    4.3
    Rating, 4.3 out of 5 stars
    ·
    62 reviews

    Beginner · Specialization · 1 - 3 Months

1…211212213…574

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

  • Software Engineering: Software Design and Project Management: The Hong Kong University of Science and Technology
  • Frontend Development using React: Board Infinity
  • Construct Stock Market Indices: Coursera
  • The Need for Systems Engineering: University of Colorado Boulder
  • Microsoft Introduction to C++ Programming: Microsoft
  • Cost Accounting: Profit and Loss Calculation: Technical University of Munich (TUM)
  • Systems Thinking Basics: Coursera
  • Sustainable Transportation Networks and Streetscapes: Johns Hopkins University
  • Project Management Knowledge Areas: LearnKartS
  • Business Models For Sustainability: Copenhagen Business School

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