• 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

    Universidad Nacional Autónoma de México

    Database systems

    Skills you'll gain: NoSQL, Data Warehousing, Relational Databases, Database Management, Extract, Transform, Load, SQL, Databases, Data Mining, Business Intelligence, Big Data, Database Architecture and Administration, Information Systems, Database Systems, MySQL, Predictive Analytics, Database Design, MongoDB, Data Modeling, Scalability, Database Management Systems

    4.3
    Rating, 4.3 out of 5 stars
    ·
    694 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    M

    Meta

    Principles of UX/UI Design

    Skills you'll gain: User Research, Usability Testing, Persona (User Experience), Interaction Design, User Experience Design, User Interface (UI), User Experience, Design Research, Usability, User Centered Design, User Interface (UI) Design, Figma (Design Software), Design Elements And Principles, Wireframing, Web Design, UI Components, Prototyping, Front-End Web Development

    4.6
    Rating, 4.6 out of 5 stars
    ·
    1.1K reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of California, Santa Cruz

    Bayesian Statistics: Mixture Models

    Skills you'll gain: R Programming, Statistical Modeling, Bayesian Statistics, Statistical Software, Markov Model, Mathematical Modeling, Statistical Methods, Probability & Statistics, Unsupervised Learning, Machine Learning Methods, Probability Distribution, Classification Algorithms

    4.5
    Rating, 4.5 out of 5 stars
    ·
    62 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    T

    Technical University of Denmark (DTU)

    Whole genome sequencing of bacterial genomes - tools and applications

    Skills you'll gain: Bioinformatics, Molecular Biology, Microbiology, Infectious Diseases, Medical Science and Research, Database Development, Taxonomy, Data Pipelines

    4.6
    Rating, 4.6 out of 5 stars
    ·
    1.6K reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    T

    Tableau Learning Partner

    Business Analysis Process

    Skills you'll gain: Requirements Elicitation, Business Analysis, Business Metrics, Stakeholder Analysis, Key Performance Indicators (KPIs), Business Requirements, Stakeholder Management, User Requirements Documents, Business Process, Business Process Modeling, Data Visualization, Solution Delivery

    4.6
    Rating, 4.6 out of 5 stars
    ·
    139 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Minnesota

    Lean Software Development

    Skills you'll gain: Design Thinking, Process Mapping, Kanban Principles, User Experience Design, Lean Methodologies, Lean Manufacturing, Agile Software Development, Product Development, Lean Six Sigma, Process Improvement, Software Development, Software Development Methodologies, Continuous Improvement Process, Innovation, Prototyping

    4.6
    Rating, 4.6 out of 5 stars
    ·
    432 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    Universitat de Barcelona

    Claves para la innovación en la docencia universitaria

    Skills you'll gain: Digital pedagogy, Learning Strategies, Collaboration, Innovation, Problem Solving, Instructional Design, Creative Problem-Solving, Teamwork, Curiosity, Complex Problem Solving, digital literacy, Critical Thinking, Decision Making

    4.8
    Rating, 4.8 out of 5 stars
    ·
    1.7K reviews

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    I

    IBM

    Introduction to HTML, CSS, & JavaScript

    Skills you'll gain: Responsive Web Design, Cascading Style Sheets (CSS), Web Development, Javascript, Bootstrap (Front-End Framework), Scripting, Browser Compatibility, Application Programming Interface (API), Back-End Web Development

    4.4
    Rating, 4.4 out of 5 stars
    ·
    781 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    A

    Arizona State University

    Workplace Culture for Everyone

    Skills you'll gain: Empathy, Team Leadership, Compassion, Influencing, Emotional Intelligence, Team Building, Leadership, Initiative and Leadership, Social Skills, digital literacy, Self-Awareness, Media and Communications, Digital Communications, Interpersonal Communications, Decision Making, Empathy & Emotional Intelligence, Independent Thinking, Open Mindset, Conflict Management, Accountability

    4.6
    Rating, 4.6 out of 5 stars
    ·
    117 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    I

    IE Business School

    Brand Identity and Strategy

    Skills you'll gain: Brand Strategy, Branding, Brand Awareness, Logo Design, Brand Management, Target Audience, Target Market, Consumer Behaviour, Value Propositions, Marketing, Customer Insights, Marketing Psychology, Marketing Strategies, Advertising, Competitive Analysis, Typography, Storytelling, Color Theory

    4.7
    Rating, 4.7 out of 5 stars
    ·
    875 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    R

    Rice University

    Communication Skills for Engineers

    Skills you'll gain: Presentations, Technical Communication, Verbal Communication Skills, Executive Presence, Public Speaking, Engineering Documentation, Business Communication, Concision, Crisis Management, Scientific Visualization, Persuasive Communication, Interpersonal Communications, Communication, Meeting Facilitation, Electronic Media, Communication Strategies, Intercultural Competence, Report Writing, Writing, Engineering Management

    4.6
    Rating, 4.6 out of 5 stars
    ·
    884 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    M

    Meta

    Statistics Foundations

    Skills you'll gain: Bayesian Statistics, Descriptive Statistics, Statistical Hypothesis Testing, Statistical Inference, Sampling (Statistics), Data Modeling, Statistics, Probability & Statistics, Statistical Analysis, Statistical Methods, Statistical Modeling, Marketing Analytics, Tableau Software, Data Analysis, Spreadsheet Software, Analytics, Time Series Analysis and Forecasting, Regression Analysis

    4.8
    Rating, 4.8 out of 5 stars
    ·
    382 reviews

    Beginner · Course · 1 - 3 Months

1…131132133…569

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

  • Database systems: Universidad Nacional Autónoma de México
  • Principles of UX/UI Design: Meta
  • Bayesian Statistics: Mixture Models: University of California, Santa Cruz
  • Whole genome sequencing of bacterial genomes - tools and applications: Technical University of Denmark (DTU)
  • Business Analysis Process: Tableau Learning Partner
  • Lean Software Development: University of Minnesota
  • Claves para la innovación en la docencia universitaria: Universitat de Barcelona
  • Introduction to HTML, CSS, & JavaScript: IBM
  • Workplace Culture for Everyone: Arizona State University
  • Brand Identity and Strategy: IE 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