• 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: New
    New
    Status: Free Trial
    Free Trial
    B

    Board Infinity

    Practical Software Testing

    Skills you'll gain: White-Box Testing, Test Planning, Test Case, Software Testing, Debugging, Functional Testing, Software Documentation, Software Quality Assurance, Development Testing, Test Data, Issue Tracking, Software Technical Review, Quality Assurance, Development Environment, Technical Communication

    4.3
    Rating, 4.3 out of 5 stars
    ·
    7 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    B

    Board Infinity

    Automation and Modern Testing Tools

    Skills you'll gain: Test Automation, Performance Testing, Software Testing, API Testing, Test Script Development, Security Testing, Test Tools, CI/CD, Regression Testing, JUnit, Selenium (Software), Scalability, Automation, Test Case, Application Programming Interface (API), Application Security

    Beginner · Course · 1 - 3 Months

  • Status: Free
    Free
    D

    DeepLearning.AI

    Multi AI Agent Systems with crewAI

    Skills you'll gain: CrewAI, AI Workflows, AI Orchestration, Generative AI Agents, Artificial Intelligence, Agentic systems, Business Process Automation, Prompt Engineering Tools, Tool Calling, Context Management

    4.7
    Rating, 4.7 out of 5 stars
    ·
    293 reviews

    Beginner · Project · Less Than 2 Hours

  • Status: Preview
    Preview
    É

    École Polytechnique Fédérale de Lausanne

    Programming Reactive Systems (Scala 2 version)

    Skills you'll gain: Scalability, Scala Programming, Distributed Computing, Event-Driven Programming, System Design and Implementation, Microservices, Software Architecture, Software Design Patterns, Cloud Computing, Software Design, Application Frameworks, Software Testing

    4.5
    Rating, 4.5 out of 5 stars
    ·
    6 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    É

    École Polytechnique Fédérale de Lausanne

    Programming Reactive Systems

    Skills you'll gain: Scala Programming, Scalability, Distributed Computing, Event-Driven Programming, Microservices, System Design and Implementation, Software Architecture, Software Design Patterns, Software Design, Cloud Computing, Data Structures

    3.9
    Rating, 3.9 out of 5 stars
    ·
    31 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Advanced Methods in Machine Learning Applications

    Skills you'll gain: Model Evaluation, Unsupervised Learning, Applied Machine Learning, Dimensionality Reduction, Reinforcement Learning, Regression Analysis, Machine Learning, Data Mining, Machine Learning Algorithms, Random Forest Algorithm, Decision Tree Learning, Supervised Learning, Logistic Regression, Classification Algorithms

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    B

    Ball State University

    Statistical Methods for Data Science

    Skills you'll gain: Statistical Methods, Probability, Data Science, Probability & Statistics, Statistical Analysis, Probability Distribution, Statistical Modeling, Bayesian Statistics, Statistical Inference, Sampling (Statistics), R Programming, Statistical Visualization

    Build toward a degree

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Calculus through Data & Modelling: Techniques of Integration

    Skills you'll gain: Integral Calculus, Numerical Analysis, Calculus, Probability, Applied Mathematics, Advanced Mathematics, Geometry, Mathematical Modeling

    4.7
    Rating, 4.7 out of 5 stars
    ·
    54 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    É

    École Polytechnique Fédérale de Lausanne

    Functional Program Design in Scala

    Skills you'll gain: Scala Programming, Software Design, Software Design Patterns, Functional Design, Java, Programming Principles, Performance Tuning, Data Structures, Algorithms

    4.5
    Rating, 4.5 out of 5 stars
    ·
    3.1K reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    I

    Icahn School of Medicine at Mount Sinai

    Dynamical Modeling Methods for Systems Biology

    Skills you'll gain: Matlab, Mathematical Modeling, Differential Equations, Computational Logic, Applied Mathematics, Simulations, Statistical Modeling, Biochemistry, Biology, Probability, Cell Biology, Physiology, Electrical Systems

    4.7
    Rating, 4.7 out of 5 stars
    ·
    222 reviews

    Mixed · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    B

    Birla Institute of Technology & Science, Pilani

    Logic for Computer Science

    Skills you'll gain: Computational Logic, Logical Reasoning, Deductive Reasoning, Theoretical Computer Science, Analytical Skills, Programming Principles, Computer Science, Data Analysis, Computer Programming, Algorithms, Verification And Validation, Systems Analysis, Software Development, Machine Learning

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    É

    École Polytechnique Fédérale de Lausanne

    Functional Program Design in Scala (Scala 2 version)

    Skills you'll gain: Scala Programming, Functional Design, Software Design Patterns, Unit Testing, Data Structures, Simulations

    4.6
    Rating, 4.6 out of 5 stars
    ·
    11 reviews

    Intermediate · Course · 1 - 3 Months

1…567…10

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

  • Practical Software Testing: Board Infinity
  • Automation and Modern Testing Tools: Board Infinity
  • Multi AI Agent Systems with crewAI: DeepLearning.AI
  • Programming Reactive Systems (Scala 2 version): École Polytechnique Fédérale de Lausanne
  • Programming Reactive Systems: École Polytechnique Fédérale de Lausanne
  • Advanced Methods in Machine Learning Applications: Johns Hopkins University
  • Statistical Methods for Data Science: Ball State University
  • Calculus through Data & Modelling: Techniques of Integration: Johns Hopkins University
  • Functional Program Design in Scala: École Polytechnique Fédérale de Lausanne
  • Dynamical Modeling Methods for Systems Biology: Icahn School of Medicine at Mount Sinai

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