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

    Johns Hopkins University

    Calculus through Data & Modeling: Precalculus Review

    Skills you'll gain: Data Modeling, Graphing, Mathematical Modeling, Algebra, Trigonometry, Linear Algebra, Calculus, Graphical Tools, Mathematical Software, Applied Mathematics, Geometry

    4.8
    Rating, 4.8 out of 5 stars
    ·
    119 reviews

    Beginner · Course · 1 - 3 Months

  • C

    Coursera

    Terraform for absolute beginners

    Skills you'll gain: Terraform, Infrastructure as Code (IaC), Infrastructure As A Service (IaaS), Microsoft Azure, IT Automation, DevOps

    4.3
    Rating, 4.3 out of 5 stars
    ·
    192 reviews

    Beginner · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Introduction to Systems Engineering

    Skills you'll gain: Model Based Systems Engineering, Systems Engineering, Requirements Management, Design Reviews, Engineering Management, Requirements Analysis, User Requirements Documents, Test Engineering, Systems Design, Business Requirements, Systems Thinking, Systems Architecture, Test Planning, Systems Analysis, Functional Requirement, Software Engineering, Systems Integration, Risk Management Framework, Program Management, Risk Management

    Build toward a degree

    4.8
    Rating, 4.8 out of 5 stars
    ·
    148 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Medical Cannabis: The Health Effects of THC and CBD

    Skills you'll gain: Pain Management, Psychiatry, Clinical Psychology, Mental and Behavioral Health Specialties, Mental Health Diseases and Disorders, Pharmacology, Public Health, Health Policy, Gerontology, Mental Health, Pharmaceuticals, Medical Science and Research, Substance Abuse, Research, Hospice, Medication Administration, Health Care, Clinical Research, Mental and Behavioral Health, Exercise Science

    4.7
    Rating, 4.7 out of 5 stars
    ·
    517 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    U

    University of Pittsburgh

    Gender and Sexuality: Diversity and Inclusion in the Workplace

    Skills you'll gain: Diversity Awareness, Workplace inclusivity, Cultural Diversity, Diversity and Inclusion, Culture, Sociology, Social Sciences, Law, Regulation, and Compliance

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

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    D

    Duke University

    Human Factors in AI

    Skills you'll gain: Responsible AI, Data Ethics, Human Computer Interaction, User Experience Design, Human Centered Design, Human Factors, AI Product Strategy, Personally Identifiable Information, Information Privacy, General Data Protection Regulation (GDPR), Artificial Intelligence, Design Thinking, Machine Learning

    4.7
    Rating, 4.7 out of 5 stars
    ·
    194 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    Universidad Austral

    Estadística aplicada a los negocios

    Skills you'll gain: Regression Analysis, Statistical Inference, Descriptive Statistics, Risk Analysis, Business Risk Management, Business Analytics, Statistics, Sampling (Statistics), Microsoft Excel, Data Analysis, Probability, Statistical Analysis, Data-Driven Decision-Making, Probability Distribution, Statistical Modeling, Data Science

    4.6
    Rating, 4.6 out of 5 stars
    ·
    772 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    T

    The University of Hong Kong

    Making Sense of the News: News Literacy Lessons for Digital Citizens

    Skills you'll gain: Journalism, digital literacy, Media and Communications, Research, Investigation, Social Impact, Ethical Standards And Conduct

    4.8
    Rating, 4.8 out of 5 stars
    ·
    236 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free
    Free
    D

    DeepLearning.AI

    Finetuning Large Language Models

    Skills you'll gain: Large Language Modeling, Prompt Engineering, Retrieval-Augmented Generation, Transfer Learning, Data Preprocessing

    4.6
    Rating, 4.6 out of 5 stars
    ·
    604 reviews

    Intermediate · Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    F

    Fortinet, Inc.

    Fortinet Network Security

    Skills you'll gain: Firewall, Virtual Private Networks (VPN), Network Troubleshooting, Network Routing, Network Security, Intrusion Detection and Prevention, Authentications, Network Monitoring, Event Monitoring, Lightweight Directory Access Protocols, Network Administration, Security Information and Event Management (SIEM), Security Engineering, Network Performance Management, Enterprise Security, Application Security, Network Infrastructure, Cybersecurity, Computer Security, Cyber Security Strategy

    4.6
    Rating, 4.6 out of 5 stars
    ·
    131 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    UX Research at Scale: Surveys, Analytics, Online Testing

    Skills you'll gain: Surveys, User Research, Survey Creation, Sampling (Statistics), A/B Testing, Web Analytics, Qualitative Research, Usability Testing, Research Methodologies, Web Analytics and SEO, Data Collection, Research Design, Sample Size Determination, Analytics, Data Analysis

    4.4
    Rating, 4.4 out of 5 stars
    ·
    211 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    M

    Meta

    Database Structures and Management with MySQL

    Skills you'll gain: MySQL, Database Management, Stored Procedure, Database Design, Database Systems, Relational Databases, SQL, Database Development, Database Administration, Query Languages, Data Management, Data Integrity, Data Validation

    4.8
    Rating, 4.8 out of 5 stars
    ·
    556 reviews

    Beginner · Course · 1 - 4 Weeks

1…161162163…569

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

  • Calculus through Data & Modeling: Precalculus Review: Johns Hopkins University
  • Terraform for absolute beginners: Coursera
  • Introduction to Systems Engineering: University of Colorado Boulder
  • Medical Cannabis: The Health Effects of THC and CBD: University of Colorado Boulder
  • Gender and Sexuality: Diversity and Inclusion in the Workplace: University of Pittsburgh
  • Human Factors in AI: Duke University
  • Estadística aplicada a los negocios: Universidad Austral
  • Making Sense of the News: News Literacy Lessons for Digital Citizens: The University of Hong Kong
  • Finetuning Large Language Models: DeepLearning.AI
  • Fortinet Network Security: Fortinet, Inc.

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