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

    Packt

    Network Security, Automation, and Exam Preparation

    Skills you'll gain: Network Security, Network Administration, Infrastructure Security, Ansible, Firewall, Network Infrastructure, Security Controls, Wireless Networks, Network Monitoring, Computer Networking, Identity and Access Management, Authorization (Computing), Scripting, Authentications, Automation, Encryption, Data Modeling, Application Programming Interface (API)

    Intermediate · Course · 3 - 6 Months

  • Status: Preview
    Preview
    U

    Universitat Autònoma de Barcelona

    Oralpha: Literacy for new citizens, a course for trainers

    Skills you'll gain: Oral Comprehension, Multilingualism, Teaching, Intercultural Competence, Language Learning, Instructional Strategies, Pedagogy, Literacy, Diversity Training, Social Sciences, Student-Centred Learning

    4.2
    Rating, 4.2 out of 5 stars
    ·
    10 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    L

    LearnQuest

    Data Science Foundations with No-Code Tools

    Skills you'll gain: Exploratory Data Analysis, Data Storytelling, Dashboard, Data Presentation, Data Analysis, Data Literacy, No-Code Development, Data Science, Predictive Modeling, Data Ethics, Data Capture, Data Modeling, Data Processing, Data Transformation, Data Integrity, Data Cleansing, Applied Machine Learning, Data Governance, Data Collection, Data Integration

    Intermediate · Course · 1 - 4 Weeks

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

    Coursera

    Building a Real-World Data Science Solution

    Skills you'll gain: AWS SageMaker, Exploratory Data Analysis, Feature Engineering, Dashboard, Interactive Data Visualization, Model Evaluation, Data Visualization, Data Pipelines, Project Documentation, Solution Delivery, Amazon Web Services, Data Analysis, Data Integration, Cloud Development, Technical Documentation, Business Intelligence, Cloud Infrastructure, Technical Communication, Automation, Project Management

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    Universidad de los Andes

    Datos no tradicionales en repositorios NoSQL

    Skills you'll gain: NoSQL, MongoDB, Distributed Computing, Database Systems, Scalability, Big Data, Databases, Database Design, Software Architecture, Systems Architecture, Data Storage Technologies, Data Modeling, Relational Databases, Unstructured Data, Graph Theory

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    S

    Simplilearn

    Supervised Learning Regression Classification Clustering

    Skills you'll gain: Supervised Learning, Data Modeling, Unsupervised Learning, Applied Machine Learning, Data Analysis, Regression Analysis, Classification Algorithms, Classification And Regression Tree (CART), Machine Learning Algorithms, Machine Learning, Decision Tree Learning, Predictive Analytics, Logistic Regression, Random Forest Algorithm, Bayesian Statistics

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    P

    Packt

    Modern JavaScript from The Beginning [Second Edition]

    Skills you'll gain: Full-Stack Web Development, Javascript, Web Development Tools, Jest (JavaScript Testing Framework), Web Design and Development, Object Oriented Programming (OOP), Web Development, Application Programming Interface (API), HTML and CSS, Back-End Web Development, Web Applications, JSON, Restful API, Event-Driven Programming, Application Development, Application Deployment, Unit Testing, Programming Principles, Data Structures, Prototyping

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Network Modeling and Analysis in Python

    Skills you'll gain: Social Network Analysis, Bayesian Network, Data Analysis, Python Programming, Probability Distribution

    Advanced · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Preview
    Preview
    B

    Board Infinity

    Empowerment and Wellness: A Mindfulness Journey for Women

    Skills you'll gain: Mindfulness, Resilience, Emotional Intelligence, Communication, Interpersonal Communications, Personal Development, Stress Management, Personal Care, Self-Awareness, Empowerment, Mental Health, Persistence, Goal Setting

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    É

    École Polytechnique

    Vers l'infiniment grand

    Skills you'll gain: Physics, Physical Science, General Science and Research, Engineering, Scientific, and Technical Instruments, Scientific Methods, electromagnetics, Simulation and Simulation Software

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    G

    Google Cloud

    AppSheet Administration

    Skills you'll gain: Data Integration, Administration, Enterprise Application Management, Governance, Team Management, No-Code Development, User Provisioning, Data Sharing, Management Reporting, Role-Based Access Control (RBAC), Systems Integration, Strategic Planning

    Advanced · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    E

    EDUCBA

    Blender Car Modeling & Rendering: Build & Export

    Skills you'll gain: 3D Modeling, Unreal Engine, 3D Assets, Computer Graphics, Visualization (Computer Graphics), Data Import/Export

    Mixed · Course · 1 - 4 Weeks

1…478479480…588

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

  • Network Security, Automation, and Exam Preparation: Packt
  • Oralpha: Literacy for new citizens, a course for trainers: Universitat Autònoma de Barcelona
  • Data Science Foundations with No-Code Tools: LearnQuest
  • Building a Real-World Data Science Solution : Coursera
  • Datos no tradicionales en repositorios NoSQL: Universidad de los Andes
  • Supervised Learning Regression Classification Clustering: Simplilearn
  • Modern JavaScript from The Beginning [Second Edition]: Packt
  • Network Modeling and Analysis in Python: University of Michigan
  • Empowerment and Wellness: A Mindfulness Journey for Women: Board Infinity
  • Vers l'infiniment grand: École Polytechnique

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