• 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: Preview
    Preview
    W

    Wesleyan University

    Introduction to Complex Analysis

    Skills you'll gain: Integral Calculus, Mathematical Theory & Analysis, Algebra, Advanced Mathematics, Geometry, Calculus, Trigonometry, Graphing

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

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Illinois Urbana-Champaign

    Investments I: Fundamentals of Performance Evaluation

    Skills you'll gain: Investments, Finance, Portfolio Management, Business Valuation, Financial Modeling, Return On Investment, Financial Analysis, Portfolio Risk, Regression Analysis, Asset Management, Microsoft Excel, Market Data, Statistical Analysis, Risk Analysis, Performance Analysis, Cash Flows

    Build toward a degree

    4.7
    Rating, 4.7 out of 5 stars
    ·
    926 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    D

    Duke University

    Managing Big Data with MySQL

    Skills you'll gain: Database Design, MySQL, Relational Databases, SQL, Data Modeling, Databases, Business Intelligence, Big Data, Business Analysis, Data Analysis

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

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Minnesota

    Integrative Health and Medicine

    Skills you'll gain: Patient Education And Counseling, Drug Interaction, Medication Therapy Management, Pharmacology, Mindfulness, Contraindication, Patient Referral, Patient Evaluation, Treatment Planning, Health Care Procedure and Regulation, Pain Management, Patient Safety, Clinical Assessment, Health Care, Clinical Practices, Nursing Practices, Health Promotion, Health And Wellness Coaching, Patient-centered Care, Music

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

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    E

    Emory University

    Foundations of Marketing Analytics

    Skills you'll gain: Pivot Tables And Charts, Customer Analysis, Probability Distribution, Customer Demand Planning, Marketing Analytics, Forecasting, Consumer Behaviour, Descriptive Statistics, Social Media Marketing, Exploratory Data Analysis, Probability, Statistical Analysis, Target Market, Marketing Effectiveness, Social Media, Model Evaluation, Business Analysis, Time Series Analysis and Forecasting, Microsoft Excel, Marketing

    4.3
    Rating, 4.3 out of 5 stars
    ·
    529 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado System

    Requirements Engineering: Secure Software Specifications

    Skills you'll gain: Requirements Elicitation, Software Design Documents, Requirements Analysis, Security Requirements Analysis, Mockups, Interviewing Skills, User Requirements Documents, Data Flow Diagrams (DFDs), Storyboarding, Requirements Management, Functional Requirement, Goal Setting, Software Development Methodologies, Software Documentation, Diagram Design, Agile Methodology, Business Requirements, Unified Modeling Language, Risk Management Framework, System Requirements

    4.5
    Rating, 4.5 out of 5 stars
    ·
    854 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    U

    University of Toronto

    The City and You: Find Your Best Place

    Skills you'll gain: Socioeconomics, Decision Making, Social Impact, Creativity, Sustainable Development, Cultural Diversity, Social Sciences, Innovation, Economics, Global Marketing

    4.6
    Rating, 4.6 out of 5 stars
    ·
    157 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    J

    Johns Hopkins University

    The Unix Workbench

    Skills you'll gain: GitHub, Unix, Git (Version Control System), Unix Commands, Version Control, Bash (Scripting Language), Ubuntu, Command-Line Interface, Cloud Computing, Shell Script, Linux, Mac OS, Scripting, Scripting Languages, Programming Principles, File Management

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

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    University of Illinois Urbana-Champaign

    New Learning: Principles and Patterns of Pedagogy

    Skills you'll gain: Pedagogy, Digital pedagogy, Education and Training, Teaching, Human Learning, Differentiated Instruction, Higher Education, Instructional Strategies, Cultural Diversity, Lifelong Learning, Willingness To Learn, Curriculum Development, Student-Centred Learning, Student Engagement

    4.7
    Rating, 4.7 out of 5 stars
    ·
    355 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Kinematics: Describing the Motions of Spacecraft

    Skills you'll gain: Global Positioning Systems, Mechanics, Linear Algebra, Numerical Analysis, Engineering Analysis, Differential Equations, Trigonometry, Mathematical Modeling, Applied Mathematics, Verification And Validation, Advanced Mathematics, Algorithms

    4.9
    Rating, 4.9 out of 5 stars
    ·
    340 reviews

    Advanced · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Data Science Capstone

    Skills you'll gain: Exploratory Data Analysis, Model Evaluation, Predictive Modeling, Data Science, Analytical Skills, Data Analysis, Data Presentation, Data Collection, Data Storytelling, Data Cleansing, Statistical Analysis, Data Manipulation, Data Preprocessing, R Programming, Machine Learning, Natural Language Processing

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

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Pennsylvania

    Influence

    Skills you'll gain: Influencing, Relationship Building, Professional Networking, Persuasive Communication, Leadership, Organizational Effectiveness, Initiative and Leadership, Organizational Structure, Business Ethics, Collaboration, Stakeholder Analysis, Decision Making, Social Network Analysis, Self-Awareness

    4.7
    Rating, 4.7 out of 5 stars
    ·
    343 reviews

    Beginner · Course · 1 - 4 Weeks

1…146147148…569

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

  • Introduction to Complex Analysis: Wesleyan University
  • Investments I: Fundamentals of Performance Evaluation: University of Illinois Urbana-Champaign
  • Managing Big Data with MySQL: Duke University
  • Integrative Health and Medicine: University of Minnesota
  • Foundations of Marketing Analytics: Emory University
  • Requirements Engineering: Secure Software Specifications: University of Colorado System
  • The City and You: Find Your Best Place: University of Toronto
  • The Unix Workbench: Johns Hopkins University
  • New Learning: Principles and Patterns of Pedagogy : University of Illinois Urbana-Champaign
  • Kinematics: Describing the Motions of Spacecraft: University of Colorado Boulder

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