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

    University of Colorado Boulder

    Getting There and Going Beyond

    Skills you'll gain: Systems Engineering, Aerospace Basic Quality System Standards, Global Positioning Systems, Engineering Design Process, Control Systems, Systems Integration, Engineering, Human Factors, System Testing, Communication Systems, Robotics, Automation, Structural Engineering, Thermal Management, Physical Science, Electric Power Systems, Environmental Monitoring, Mechanics

    5
    Rating, 5 out of 5 stars
    ·
    10 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Building No-Code Apps with AppSheet: Implementation

    Skills you'll gain: No-Code Development, Application Design, Application Performance Management, Application Development, Authorization (Computing), Authentications, Application Lifecycle Management, Data Management, Restful API, Application Security, Scalability, Software Versioning, Automation, Data Security, Debugging, Data Validation

    4.7
    Rating, 4.7 out of 5 stars
    ·
    22 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    B

    Board Infinity

    Building Applications with DeepSeek

    Skills you'll gain: DeepSeek API, Deepseek, AI Workflows, Agentic Workflows, AI Enablement, Retrieval-Augmented Generation, Embeddings, Program Development, Model Deployment

    3.7
    Rating, 3.7 out of 5 stars
    ·
    7 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    C

    Corporate Finance Institute

    Tableau Fundamentals Case Study - Ecommerce Analysis

    Skills you'll gain: Tableau Software, Excel Formulas, Data Modeling, Dashboard, E-Commerce, Data Visualization Software, Performance Analysis, Interactive Data Visualization, Data Analysis, Regional Sales, Business Analysis, Key Performance Indicators (KPIs), Business Metrics, Branding

    4.8
    Rating, 4.8 out of 5 stars
    ·
    6 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Object-Oriented Analysis and Design: Foundations & Concepts

    Skills you'll gain: Object Oriented Design, Object Oriented Programming (OOP), Unified Modeling Language, JUnit, Software Testing, Software Engineering, Java, Java Programming, Computer Programming, Unit Testing, Program Development, Software Design, Test Driven Development (TDD), Conceptual Design

    Build toward a degree

    3.8
    Rating, 3.8 out of 5 stars
    ·
    10 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    P

    Packt

    Security Architecture and Engineering

    Skills you'll gain: IT Security Architecture, Security Controls, Cryptography, Security Engineering, Application Security, Vulnerability Assessments, Information Systems Security, Encryption, Cybersecurity, Hardening, Infrastructure Security, Computer Security, Threat Modeling, Network Security, Public Key Infrastructure, Authentications, Data Integrity

    5
    Rating, 5 out of 5 stars
    ·
    6 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    C

    Case Western Reserve University

    Practical Geospatial Geostatistical Modeling

    Skills you'll gain: Exploratory Data Analysis, Spatial Data Analysis, Spatial Analysis, Geospatial Mapping, Geospatial Information and Technology, Descriptive Statistics, Statistical Modeling, R Programming, Statistical Analysis, Probability & Statistics, Data-Driven Decision-Making, Oil and Gas, Regression Analysis, Data Analysis, Simulations, Statistical Methods, Rmarkdown, Data Cleansing, Box Plots, Plot (Graphics)

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    P

    Packt

    Securing Systems and Networks

    Skills you'll gain: Network Security, Intrusion Detection and Prevention, Command-Line Interface, Cybersecurity, Information Systems Security, Local Area Networks, Firewall, Windows PowerShell, Hardening, Threat Detection, Linux, Penetration Testing, Network Architecture, Wireless Networks, Vulnerability Assessments, System Configuration, IT Automation, Encryption, Network Analysis, Public Key Infrastructure

    4.5
    Rating, 4.5 out of 5 stars
    ·
    11 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Deep Learning with PyTorch

    Skills you'll gain: Recurrent Neural Networks (RNNs), Convolutional Neural Networks, Transfer Learning, Model Evaluation, Performance Tuning

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    C

    CertNexus

    Analyze Data

    Skills you'll gain: Data Analysis, Data Preprocessing, Data Visualization, Statistical Analysis, Exploratory Data Analysis, Business Analytics, Analytical Skills, Data Transformation, Probability & Statistics, Descriptive Statistics, Histogram, Scatter Plots

    4.8
    Rating, 4.8 out of 5 stars
    ·
    20 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    A

    American Psychological Association

    Positive Psychology: The Science of Happiness

    Skills you'll gain: Public Policies, Compassion, Psychology, Mental Health, Resilience, Behavioral Health, Cultural Diversity, Personal Development, Empathy, Mindfulness, Relationship Building, Research

    4.2
    Rating, 4.2 out of 5 stars
    ·
    10 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Ethical Issues in AI and Professional Ethics

    Skills you'll gain: Data Ethics, Responsible AI, Diversity Awareness, Generative AI, Ethical Standards And Conduct, Diversity Equity and Inclusion Initiatives, Cultural Diversity, Artificial Intelligence, Algorithms, Information Privacy

    Build toward a degree

    4.4
    Rating, 4.4 out of 5 stars
    ·
    36 reviews

    Beginner · Course · 1 - 3 Months

1…429430431…587

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

  • Getting There and Going Beyond: University of Colorado Boulder
  • Building No-Code Apps with AppSheet: Implementation: Google Cloud
  • Building Applications with DeepSeek: Board Infinity
  • Tableau Fundamentals Case Study - Ecommerce Analysis: Corporate Finance Institute
  • Object-Oriented Analysis and Design: Foundations & Concepts: University of Colorado Boulder
  • Security Architecture and Engineering: Packt
  • Practical Geospatial Geostatistical Modeling: Case Western Reserve University
  • Securing Systems and Networks: Packt
  • Deep Learning with PyTorch: Coursera
  • Analyze Data: CertNexus

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