• 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: New
    New
    Status: Free Trial
    Free Trial
    P

    Pearson

    Certified Kubernetes Administrator (CKA): Unit 2

    Skills you'll gain: Kubernetes, Application Deployment, Cloud-Native Computing, Containerization, YAML, DevOps, Scalability, Package and Software Management

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    E

    Edureka

    PySpark for Data Science

    Skills you'll gain: PySpark, Data Pipelines, Dashboard, Data Processing, Data Storage Technologies, Data Visualization, Natural Language Processing, Data Analysis Expressions (DAX), Data Storage, Data Transformation, Machine Learning, Deep Learning, Logistic Regression

    2.7
    Rating, 2.7 out of 5 stars
    ·
    11 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    C

    Coursera

    OpenCL Programming

    Skills you'll gain: Distributed Computing, Scalability, Performance Tuning, C++ (Programming Language), System Programming, Computer Architecture, Cross Platform Development, Hardware Architecture, Application Development, Algorithms, C (Programming Language), Development Environment

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    P

    Packt

    Systems Security Certified Practitioner

    Skills you'll gain: Risk Management Framework, Risk Analysis, Risk Management, Cybersecurity, Network Security, Incident Response, Cloud Security, Authentications, Business Continuity Planning, Application Security, IT Management, Security Management, Threat Modeling, Computer Security Incident Management, Threat Management, OSI Models, Business Risk Management, Disaster Recovery, Cryptography, Vulnerability Assessments

    Intermediate · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    S

    Scrimba

    Algorithm Interview Practice for Junior Developers

    Skills you'll gain: Algorithms, Data Structures, Javascript, Computational Thinking, Program Development, Computer Programming

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    D

    Dartmouth College

    Predictive Analytics

    Skills you'll gain: Business Ethics, Predictive Modeling, Predictive Analytics, Scikit Learn (Machine Learning Library), Model Evaluation, Digital Transformation, Data-Driven Decision-Making, Feature Engineering, Regression Analysis, Supervised Learning, Python Programming, Cloud Computing, Data Quality, Classification Algorithms, Artificial Neural Networks

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    N

    National Taiwan University

    International Communication and East Asian Affairs (3)

    Skills you'll gain: Journalism, Large Language Modeling, Media and Communications, AI Security, Electronic Media, Storytelling, Responsible AI, International Relations, digital literacy, Writing, Natural Language Processing, Digital Communications

    Beginner · Course · 1 - 3 Months

  • Status: Free
    Free
    C

    Coursera

    Serverless Apps in C#: Azure Function Apps

    Skills you'll gain: Cloud Deployment, Cloud API, Cloud Development, Application Deployment, Microsoft Azure, JSON, Cloud Applications, Serverless Computing, Application Programming Interface (API), Cloud Computing, C# (Programming Language), Restful API, Web Services, Data Storage

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    D

    Dassault Systèmes

    xDesign Advanced Sketching and Reference Geometry

    Skills you'll gain: SolidWorks (CAD), Computer-Aided Design, Engineering Drawings, Technical Drawing, 3D Modeling, Mechanical Engineering

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    P

    Packt

    Mastering Machine Learning Algorithms using Python

    Skills you'll gain: Data Science, Unsupervised Learning, Exploratory Data Analysis, Probability & Statistics, Machine Learning Algorithms, Applied Machine Learning, Classification And Regression Tree (CART), Data Analysis, Python Programming, Random Forest Algorithm, Dimensionality Reduction, Predictive Modeling, NumPy, Regression Analysis, Statistical Analysis, Data Processing, Deep Learning, Pandas (Python Package), Data Visualization, Data Manipulation

    Intermediate · Specialization · 3 - 6 Months

  • P

    Packt

    A Comprehensive Guide To Acing Job Interviews

    Skills you'll gain: Professional Networking, Applicant Tracking Systems, LinkedIn, Recruitment, Talent Acquisition, Relationship Building, Adaptability

    Intermediate · Course · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    P

    Packt

    Arduino OOP—Object-Oriented Programming

    Skills you'll gain: Object Oriented Programming (OOP), Object Oriented Design, Electronic Components, C and C++, C++ (Programming Language), Embedded Software, Hardware Troubleshooting, Program Development, Maintainability, Debugging, Development Environment

    Intermediate · Course · 1 - 3 Months

1…484485486…587

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

  • Certified Kubernetes Administrator (CKA): Unit 2: Pearson
  • PySpark for Data Science: Edureka
  • OpenCL Programming: Coursera
  • Systems Security Certified Practitioner: Packt
  • Algorithm Interview Practice for Junior Developers: Scrimba
  • Predictive Analytics: Dartmouth College
  • International Communication and East Asian Affairs (3): National Taiwan University
  • Serverless Apps in C#: Azure Function Apps: Coursera
  • xDesign Advanced Sketching and Reference Geometry: Dassault Systèmes
  • Mastering Machine Learning Algorithms using Python: Packt

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