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

    Illinois Tech

    Data Analytics and Big Data

    Skills you'll gain: Database Design, Relational Databases, Database Systems, Database Management, NoSQL, Databases, Database Development, SQL, Big Data, Model Evaluation, Apache Hadoop, Database Management Systems, MySQL, Statistical Analysis, Data Visualization, Database Theory, Data Analysis, Exploratory Data Analysis, Transaction Processing, Data Preprocessing

    Build toward a degree

    4.4
    Rating, 4.4 out of 5 stars
    ·
    78 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    S

    SkillUp

    Introduction to Ethical Hacking Principles

    Skills you'll gain: Information Systems Security, Cyber Security Policies, Data Ethics, Cyber Governance, Application Security, Cyber Risk, Computer Security, General Data Protection Regulation (GDPR), Responsible AI

    4.7
    Rating, 4.7 out of 5 stars
    ·
    97 reviews

    Beginner · Course · 1 - 4 Weeks

  • A

    Amazon Web Services

    Providing Technical Support for AWS Workloads

    Skills you'll gain: Amazon Web Services, Cloud Infrastructure, Customer Analysis, Network Troubleshooting, Technical Consulting, Amazon S3, Cloud Computing, Technical Support, AWS Identity and Access Management (IAM), Amazon Elastic Compute Cloud, Requirements Analysis, Root Cause Analysis, Scenario Testing, System Support, Virtual Networking, Customer Support, Cloud Storage, Serverless Computing, System Monitoring, Data Security

    4.8
    Rating, 4.8 out of 5 stars
    ·
    69 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of California, Irvine

    Performance Assessment in the Virtual Classroom

    Skills you'll gain: Education Software and Technology, Learning Management Systems, Performance Testing, Virtual Environment, Data Analysis Software

    4.7
    Rating, 4.7 out of 5 stars
    ·
    504 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    P

    Packt

    Blender to Unreal Engine - Become a Dungeon Prop Artist

    Skills you'll gain: 3D Modeling, 3D Assets, Computer Graphics, Graphical Tools, Animation and Game Design, File Management, Augmented and Virtual Reality (AR/VR), Virtual Environment, Content Management, Animations, Game Design, User Interface (UI), Image Quality, Performance Tuning, Simulations

    4.3
    Rating, 4.3 out of 5 stars
    ·
    35 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    G

    Genentech

    Data Sciences in Pharma - Patient Centered Outcomes Research

    Skills you'll gain: Clinical Trials, Clinical Research, Drug Development, Patient Evaluation, Pharmaceutical Terminology, Clinical Assessment, Quantitative Research, Data Literacy, Patient-centered Care, Statistical Methods, Data Science, Statistical Analysis

    4.5
    Rating, 4.5 out of 5 stars
    ·
    22 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of Michigan

    Llama for Python Programmers

    Skills you'll gain: LLM Application, Large Language Modeling, Prompt Engineering, Generative AI, Applied Machine Learning, Python Programming, Open Source Technology, JSON

    4.7
    Rating, 4.7 out of 5 stars
    ·
    19 reviews

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Profit Analysis using Economic Value Added

    Skills you'll gain: Financial Statement Analysis, Financial Analysis, Return On Investment, Profit and Loss (P&L) Management, Financial Modeling, Performance Metric, Accounting, Finance, Operating Expense, Investments

    4.6
    Rating, 4.6 out of 5 stars
    ·
    210 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    I

    IBM

    AI Workflow: AI in Production

    Skills you'll gain: Model Deployment, MLOps (Machine Learning Operations), Cloud Deployment, Unit Testing, Docker (Software), Containerization, Kubernetes, AI Workflows, IBM Cloud, Microservices, Machine Learning, Responsible AI, Business Metrics, Natural Language Processing, Time Series Analysis and Forecasting, Data Science, Python Programming

    4.5
    Rating, 4.5 out of 5 stars
    ·
    55 reviews

    Advanced · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    A

    Amazon Web Services

    AI Fundamentals and the Cloud

    Skills you'll gain: Responsible AI, Amazon Bedrock, AWS SageMaker, AI Enablement, Model Deployment, Artificial Intelligence and Machine Learning (AI/ML), Artificial Intelligence, LLM Application, Large Language Modeling, Machine Learning

    4.5
    Rating, 4.5 out of 5 stars
    ·
    77 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    S

    Starweaver

    Matlab and Simulink Basics

    Skills you'll gain: Matlab, Scientific Visualization, Data Visualization, Simulation and Simulation Software, Mathematical Modeling, Data Analysis, Engineering Analysis, Data Manipulation, Data Structures, Computer Programming, Algorithms, Debugging

    4.1
    Rating, 4.1 out of 5 stars
    ·
    55 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    S

    SkillUp

    Power BI Data Analyst Prep

    Skills you'll gain: Data Storytelling, Dashboard, Power BI, Data Visualization, Interactive Data Visualization, Data Analysis, Data Modeling, Data Visualization Software, Data Analysis Expressions (DAX), Star Schema, Data Cleansing, Data Transformation, Data Import/Export, Data Security

    4.6
    Rating, 4.6 out of 5 stars
    ·
    54 reviews

    Beginner · Course · 1 - 4 Weeks

1…274275276…580

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

  • Data Analytics and Big Data: Illinois Tech
  • Introduction to Ethical Hacking Principles: SkillUp
  • Providing Technical Support for AWS Workloads: Amazon Web Services
  • Performance Assessment in the Virtual Classroom: University of California, Irvine
  • Blender to Unreal Engine - Become a Dungeon Prop Artist: Packt
  • Data Sciences in Pharma - Patient Centered Outcomes Research: Genentech
  • Llama for Python Programmers: University of Michigan
  • Profit Analysis using Economic Value Added: Coursera
  • AI Workflow: AI in Production: IBM
  • AI Fundamentals and the Cloud: Amazon Web Services

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