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


  • C

    Coursera

    Basic Image Classification with TensorFlow

    Skills you'll gain: Model Evaluation, Keras (Neural Network Library), Tensorflow, Image Analysis, Artificial Neural Networks, Deep Learning, Computer Vision, Machine Learning, Classification Algorithms

    4.6
    Rating, 4.6 out of 5 stars
    ·
    847 reviews

    Beginner · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    R

    Rice University

    Introduction to Biology: Evolution

    Skills you'll gain: Life Sciences, Biology, Taxonomy, Anatomy, Microbiology, Scientific Methods

    4.9
    Rating, 4.9 out of 5 stars
    ·
    86 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    T

    The Hong Kong University of Science and Technology

    Mastering Statics

    Skills you'll gain: Structural Analysis, Mechanics, Engineering Calculations, Mechanical Engineering, Civil Engineering, Engineering Analysis, Engineering Drawings, Geometry, Algebra, Applied Mathematics

    4.8
    Rating, 4.8 out of 5 stars
    ·
    237 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    Universiteit Leiden

    Risk in Modern Society

    Skills you'll gain: Risk Management, Business Risk Management, Operational Risk, Risk Analysis, Safety and Security, Environmental Issue, Cyber Security Strategy, Decision Making, Public Health

    4.7
    Rating, 4.7 out of 5 stars
    ·
    227 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    University of Illinois Urbana-Champaign

    Auditing II: The Practice of Auditing

    Skills you'll gain: Auditing, Internal Controls, Financial Auditing, External Auditing, Generally Accepted Auditing Standards, Fraud detection, Internal Auditing, Audit Planning, Audit Working Papers, Financial Controls, Compliance Auditing, Auditors Report, Verification And Validation, Risk Analysis, Business Risk Management, Risk Management, Probability & Statistics, Financial Reporting, Business Process

    Build toward a degree

    4.7
    Rating, 4.7 out of 5 stars
    ·
    295 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    I

    IBM

    Java Programming for Beginners

    Skills you'll gain: Java Programming, Java, Development Environment, Computer Programming, Integrated Development Environments, Object Oriented Programming (OOP), Data Structures, File I/O, Debugging

    4.6
    Rating, 4.6 out of 5 stars
    ·
    129 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    Universidade Estadual de Campinas

    Saúde Baseada em Evidências

    Skills you'll gain: Health Equity, Health Assessment, Health Disparities, Health Care, Health Policy, Research, Health Systems, Public Health, Program Evaluation, Investigation, Research Design, Clinical Research, Scientific Methods, Research Methodologies, Peer Review, Statistical Analysis

    4.9
    Rating, 4.9 out of 5 stars
    ·
    1.5K reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    M

    Microsoft

    Cybersecurity Identity and Access Solutions using Azure AD

    Skills you'll gain: Azure Active Directory, Authentications, Identity and Access Management, Authorization (Computing), Active Directory, Role-Based Access Control (RBAC), Multi-Factor Authentication, Microsoft Azure, Single Sign-On (SSO), Software As A Service, User Accounts, Cloud Services, Enterprise Security

    4.5
    Rating, 4.5 out of 5 stars
    ·
    186 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    E

    EDHEC Business School

    Python and Machine-Learning for Asset Management with Alternative Data Sets

    Skills you'll gain: Text Mining, Network Analysis, Data Visualization Software, Machine Learning Methods, Unstructured Data, Predictive Modeling, Web Scraping, Social Network Analysis, Financial Statements, Financial Market, Financial Analysis, Investments, Financial Modeling, Asset Management, Python Programming, Data Analysis, Consumer Behaviour

    4.4
    Rating, 4.4 out of 5 stars
    ·
    236 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    E

    Erasmus University Rotterdam

    Excel Modeling for Professionals: Best Practices & Pitfalls

    Skills you'll gain: Microsoft Excel, Excel Formulas, Data Modeling, Verification And Validation, Financial Modeling, Business Modeling, Spreadsheet Software, Technical Documentation, Product Testing, Data Validation, Data Integrity, Data Management, Organizational Skills

    4.5
    Rating, 4.5 out of 5 stars
    ·
    36 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    Universidad Nacional Autónoma de México

    Matemáticas financieras

    Skills you'll gain: Business Mathematics, Financial Management, Finance, Financial Modeling, Investment Management, Capital Budgeting, Financial Analysis, Return On Investment, Loans, Investments, Cash Flows, Corporate Finance

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

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Life Cycle Assessment

    Skills you'll gain: Sustainable Design, Product Lifecycle Management, Product Development, Sustainable Development, Product Improvement, Environmental Science, Environment, Simulation and Simulation Software, Case Studies, Analysis, Project Scoping, Goal Setting, Inventory Accounting, Energy and Utilities

    4.3
    Rating, 4.3 out of 5 stars
    ·
    75 reviews

    Intermediate · Course · 1 - 3 Months

1…192193194…573

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

  • Basic Image Classification with TensorFlow: Coursera
  • Introduction to Biology: Evolution: Rice University
  • Mastering Statics: The Hong Kong University of Science and Technology
  • Risk in Modern Society : Universiteit Leiden
  • Auditing II: The Practice of Auditing: University of Illinois Urbana-Champaign
  • Java Programming for Beginners: IBM
  • Saúde Baseada em Evidências: Universidade Estadual de Campinas
  • Cybersecurity Identity and Access Solutions using Azure AD: Microsoft
  • Python and Machine-Learning for Asset Management with Alternative Data Sets: EDHEC Business School
  • Excel Modeling for Professionals: Best Practices & Pitfalls: Erasmus University Rotterdam

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