• 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

    University of Minnesota

    Introduction to Automated Analysis

    Skills you'll gain: Test Automation, Regression Testing, Software Testing, Software Development Tools, Unit Testing, White-Box Testing, Code Coverage, Security Testing, Verification And Validation, Test Case, Test Data, Debugging, Automation, Application Security

    4.2
    Rating, 4.2 out of 5 stars
    ·
    83 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    P

    Packt

    Mathematical Foundations and Quantum Mechanics Essentials

    Skills you'll gain: Probability, Linear Algebra, Probability & Statistics, Statistics, Mathematical Theory & Analysis, Computational Logic, Applied Mathematics, Advanced Mathematics, Computer Science, Algebra, Physics

    4.4
    Rating, 4.4 out of 5 stars
    ·
    57 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    P

    Packt

    Systems Acquisition, Development and Implementation

    Skills you'll gain: Systems Development Life Cycle, Software Development Life Cycle, Systems Development, Software Development Methodologies, Change Management, Project Management, System Implementation, Compliance Auditing, Software Testing, Auditing, Development Testing, Information Technology, Verification And Validation, Project Management Office (PMO), Internal Controls, Governance, Agile Methodology, Software Development, Data Integrity, Risk Management

    4.9
    Rating, 4.9 out of 5 stars
    ·
    7 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    P

    Packt

    Advanced PyTorch Techniques and Applications

    Skills you'll gain: PyTorch (Machine Learning Library), Natural Language Processing, Generative Adversarial Networks (GANs), Transfer Learning, Vision Transformer (ViT), Deep Learning, Unsupervised Learning, Embeddings, Convolutional Neural Networks, Applied Machine Learning, Supervised Learning, Model Evaluation, Model Deployment, Flask (Web Framework)

    4.6
    Rating, 4.6 out of 5 stars
    ·
    16 reviews

    Intermediate · Course · 1 - 3 Months

  • C

    Coursera

    Using probability distributions for real world problems in R

    Skills you'll gain: Statistical Inference, Probability Distribution, R Programming, Statistical Visualization, Statistics, Data Visualization, Statistical Analysis, Statistical Modeling, Statistical Hypothesis Testing, Data Analysis, Probability

    4.8
    Rating, 4.8 out of 5 stars
    ·
    32 reviews

    Beginner · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Calculus through Data & Modelling: Series and Integration

    Skills you'll gain: Calculus, Integral Calculus, Advanced Mathematics, Mathematical Theory & Analysis, Applied Mathematics, Numerical Analysis, Mathematical Modeling, Derivatives

    4.9
    Rating, 4.9 out of 5 stars
    ·
    56 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    P

    Packt

    Advanced Terraform - Variables, Modules, & State Management

    Skills you'll gain: AWS Identity and Access Management (IAM), Terraform, User Provisioning, Infrastructure as Code (IaC), Verification And Validation, Data Validation, Amazon Web Services, User Accounts, Amazon Elastic Compute Cloud, Test Case, Secure Coding, Configuration Management, Data Structures

    Beginner · Course · 1 - 3 Months

  • Status: New
    New
    Status: Preview
    Preview
    P

    Packt

    Delta PLC Simulation Unlocked

    Skills you'll gain: Visualization (Computer Graphics), Internet Of Things, Real Time Data

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Battery State-of-Charge (SOC) Estimation

    Skills you'll gain: Estimation, Probability, Model Evaluation, Simulation and Simulation Software, Mathematical Modeling, Performance Tuning, Computational Thinking, Electrical Power

    4.7
    Rating, 4.7 out of 5 stars
    ·
    254 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    D

    DeepLearning.AI

    Probability & Statistics for Machine Learning & Data Science

    Skills you'll gain: Descriptive Statistics, Bayesian Statistics, Statistical Hypothesis Testing, Probability & Statistics, Sampling (Statistics), Probability Distribution, Probability, Statistical Inference, A/B Testing, Statistical Analysis, Statistical Machine Learning, Data Science, Statistical Modeling, Exploratory Data Analysis, Statistical Visualization

    4.6
    Rating, 4.6 out of 5 stars
    ·
    670 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    P

    Packt

    Advanced Risk Management, Security Controls & Monitoring

    Skills you'll gain: Security Controls, NIST 800-53, Authorization (Computing), Risk Management Framework, Change Control, Cyber Risk, Security Management, Vulnerability Assessments, Vulnerability Management, Configuration Management, Threat Management, System Monitoring, Security Requirements Analysis, System Implementation, Security Strategy, Cyber Security Assessment, Risk Mitigation, Document Management, Systems Development Life Cycle

    4.8
    Rating, 4.8 out of 5 stars
    ·
    12 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    C

    Columbia University

    Computational Methods in Pricing and Model Calibration

    Skills you'll gain: Regression Analysis, Actuarial Science, Derivatives, Financial Market, Statistical Methods, Market Data, Financial Modeling, Securities (Finance), Risk Modeling, Financial Systems, Mathematical Modeling, Numerical Analysis, Applied Mathematics, Python Programming, Process Optimization, Probability Distribution, Algorithms, Case Studies

    4.4
    Rating, 4.4 out of 5 stars
    ·
    43 reviews

    Intermediate · Course · 1 - 3 Months

1…78910

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

  • Introduction to Automated Analysis: University of Minnesota
  • Mathematical Foundations and Quantum Mechanics Essentials: Packt
  • Systems Acquisition, Development and Implementation: Packt
  • Advanced PyTorch Techniques and Applications: Packt
  • Using probability distributions for real world problems in R: Coursera
  • Calculus through Data & Modelling: Series and Integration: Johns Hopkins University
  • Advanced Terraform - Variables, Modules, & State Management: Packt
  • Delta PLC Simulation Unlocked: Packt
  • Battery State-of-Charge (SOC) Estimation: University of Colorado Boulder
  • Probability & Statistics for Machine Learning & Data Science: DeepLearning.AI

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
© 2025 Coursera Inc. All rights reserved.
  • Coursera Facebook
  • Coursera Linkedin
  • Coursera Twitter
  • Coursera YouTube
  • Coursera Instagram
  • Coursera TikTok