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

    National Academy of Sports Medicine

    Getting Started as a Personal Fitness Trainer

    Skills you'll gain: Goal Setting, Smart Goals, Health Assessment, Exercise Science, Preventative Care, Health And Wellness Coaching, Overcoming Obstacles, Public Health, Health Promotion, Motivational Skills, Needs Assessment

    4.7
    Rating, 4.7 out of 5 stars
    ·
    200 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    M

    Michigan State University

    What is news?

    Skills you'll gain: Journalism, Media and Communications, Driving engagement, Electronic Media, Content Creation, Storytelling, Multimedia, Blogs, Photography, Ethical Standards And Conduct

    4.7
    Rating, 4.7 out of 5 stars
    ·
    1.2K reviews

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Real-Time Embedded Systems

    Skills you'll gain: Real-Time Operating Systems, Embedded Systems, Reliability, Software Systems, Performance Tuning, Embedded Software, Control Systems, Hardware Architecture, Systems Architecture, Software Design, Debugging, Software Architecture, Verification And Validation, Hardware Design, System Design and Implementation, Linux, System Programming, Code Review, Systems Engineering, Real Time Data

    Build toward a degree

    4
    Rating, 4 out of 5 stars
    ·
    121 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    E

    Erasmus University Rotterdam

    Assessment in Higher Education: Professional Development for Teachers

    Skills you'll gain: Constructive Feedback, Higher Education, Instructional Design, Program Standards, Planning, Reliability, Analytical Skills, Decision Making

    4.8
    Rating, 4.8 out of 5 stars
    ·
    418 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    M

    Microsoft

    Microsoft Azure Machine Learning for Data Scientists

    Skills you'll gain: Responsible AI, Microsoft Azure, Unsupervised Learning, Databricks, Cloud Management, Classification Algorithms, MLOps (Machine Learning Operations), Applied Machine Learning, Model Deployment, Predictive Modeling, Regression Analysis, Machine Learning, Model Evaluation, Data Preprocessing, Supervised Learning, Data Pipelines, Exploratory Data Analysis

    4.3
    Rating, 4.3 out of 5 stars
    ·
    177 reviews

    Intermediate · Course · 1 - 4 Weeks

  • U

    University of California San Diego

    Algae Biotechnology

    Skills you'll gain: Biotechnology, Biological Engineering, Sustainable Technologies, Life Sciences, Environmental Issue, Regulatory Requirements, Sustainability Standards, Chemical Engineering, Production Process, Product Development, Molecular, Cellular, and Microbiology, Biology

    4.8
    Rating, 4.8 out of 5 stars
    ·
    620 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    M

    Microsoft

    Introduction to Programming With C#

    Skills you'll gain: C# (Programming Language), Object Oriented Programming (OOP), Debugging, .NET Framework, Microsoft Visual Studio, Microsoft Copilot, Computer Programming, Integrated Development Environments, Development Environment, Event-Driven Programming

    4.6
    Rating, 4.6 out of 5 stars
    ·
    104 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    First Order Optical System Design

    Skills you'll gain: Systems Design, Design Software, Design, Engineering Design Process, Engineering Calculations, Simulation and Simulation Software, Image Analysis, Graphical Tools, Physics

    Build toward a degree

    4.3
    Rating, 4.3 out of 5 stars
    ·
    340 reviews

    Advanced · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    E

    EDUCBA

    Financial Modeling & Valuation with Excel

    Skills you'll gain: Microsoft Excel, Excel Formulas, Pivot Tables And Charts, Working Capital, Cash Flows, Spreadsheet Software, Income Statement, Financial Analysis, Financial Accounting, Revenue Recognition, Business Valuation, Generally Accepted Accounting Principles (GAAP), Business Reporting, Balance Sheet, Data Visualization, Capital Expenditure, Accounts Receivable, Financial Modeling, Finance, Corporate Finance

    4.7
    Rating, 4.7 out of 5 stars
    ·
    128 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    E

    EDUCBA

    ITIL V4 Certification Preparation

    Skills you'll gain: Service Management, Information Technology Infrastructure Library, Customer experience improvement, IT Service Management, Service Improvement, Change Control, IT Management, Information Technology Architecture, Technical Management, Technical Services, Enterprise Architecture, Continuous Improvement Process, Service Design, Managed Services, Agile Methodology, Governance, Risk Management Framework, Quality Improvement, Organizational Structure, IT Infrastructure

    4.7
    Rating, 4.7 out of 5 stars
    ·
    398 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Maryland, College Park

    Innovation for Entrepreneurs: From Idea to Marketplace

    Skills you'll gain: Commercialization, Product Planning, Innovation, New Product Development, Product Development, Team Building, Product Strategy, Entrepreneurship, Design Thinking, Product Testing, Customer Insights, Business Strategies, Team Motivation, Market Opportunities, User Research, Market Research, Team Management, Business Modeling, Technology Strategies, Value Propositions

    4.6
    Rating, 4.6 out of 5 stars
    ·
    699 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University at Buffalo

    Digital Thread: Components

    Skills you'll gain: Digital Transformation, Data Sharing, Manufacturing Operations, Business Transformation, Workflow Management, Product Lifecycle Management, Data Storage, Process Management, Interoperability, Innovation, Goal Setting

    4.6
    Rating, 4.6 out of 5 stars
    ·
    818 reviews

    Beginner · Course · 1 - 4 Weeks

1…157158159…569

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

  • Getting Started as a Personal Fitness Trainer: National Academy of Sports Medicine
  • What is news? : Michigan State University
  • Real-Time Embedded Systems: University of Colorado Boulder
  • Assessment in Higher Education: Professional Development for Teachers: Erasmus University Rotterdam
  • Microsoft Azure Machine Learning for Data Scientists: Microsoft
  • Algae Biotechnology: University of California San Diego
  • Introduction to Programming With C#: Microsoft
  • First Order Optical System Design: University of Colorado Boulder
  • Financial Modeling & Valuation with Excel: EDUCBA
  • ITIL V4 Certification Preparation: EDUCBA

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