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

    Universitat Autònoma de Barcelona

    Pre-Calculus

    Skills you'll gain: Trigonometry, Integral Calculus, Calculus, Arithmetic, Advanced Mathematics, Algebra, Geometry, Applied Mathematics, Graphing, Derivatives, Problem Solving

    4.7
    Rating, 4.7 out of 5 stars
    ·
    573 reviews

    Beginner · Course · 1 - 3 Months

  • C

    Coursera

    Create a Project Management Tracker using Microsoft Excel

    Skills you'll gain: Microsoft Excel, Project Management Software, Collaborative Software, Spreadsheet Software, Project Management, Productivity Software, Project Planning, Data Validation

    4.6
    Rating, 4.6 out of 5 stars
    ·
    896 reviews

    Beginner · Guided Project · Less Than 2 Hours

  • Status: Preview
    Preview
    K

    Knowledge Accelerators

    Customer Service Fundamentals

    Skills you'll gain: Customer Service, Problem Solving, Customer Support, Greeting Customers, Help Desk Support, Customer and Client Support, Critical Thinking and Problem Solving, Technical Support and Services, Customer Relationship Management, Interpersonal Communications, Communication, Customer Complaint Resolution, Empathy, Customer Engagement, Customer experience improvement, Process Management

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

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    C

    Corporate Finance Institute

    Power BI Fundamentals

    Skills you'll gain: Power BI, Data Analysis Expressions (DAX), Dashboard, Business Intelligence, Data Import/Export, Business Reporting, Interactive Data Visualization, Data Storytelling, Data Modeling, Data Transformation, Data Visualization Software, Data Analysis, Data Sharing, Sales, Key Performance Indicators (KPIs)

    4.8
    Rating, 4.8 out of 5 stars
    ·
    216 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of California San Diego

    Big Data Modeling and Management Systems

    Skills you'll gain: Data Modeling, Big Data, Data Management, Database Management Systems, Real Time Data, NoSQL, Database Design, Data Processing, Apache Hadoop, Data Structures, Scalability, Virtual Environment

    4.4
    Rating, 4.4 out of 5 stars
    ·
    3K reviews

    Mixed · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    University of Glasgow

    Biomedical Visualisation

    Skills you'll gain: 3D Modeling, 3D Assets, Scientific Visualization, Biomedical Engineering, Medical Terminology, Augmented and Virtual Reality (AR/VR), Anatomy, Animations, Image Analysis, Physiology, Biology, Medical Imaging

    4.6
    Rating, 4.6 out of 5 stars
    ·
    530 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    N

    National Taiwan University

    BIM Application for Engineers

    Skills you'll gain: Autodesk Revit, Building Information Modeling, AutoCAD, Construction Estimating, Simulation and Simulation Software, 3D Modeling, Construction Management, Data Integration

    4.7
    Rating, 4.7 out of 5 stars
    ·
    523 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Illinois Urbana-Champaign

    Managing the Organization

    Skills you'll gain: Organizational Change, Organizational Leadership, Management Training And Development, Business Management, Business Ethics, Change Management, Business Leadership, Organizational Effectiveness, Strategic Leadership, Leadership, Decision Making, Strategic Decision-Making, Strategic Thinking, Culture, People Analytics

    Build toward a degree

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

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Toronto

    iOS App Development with Swift

    Skills you'll gain: Apple iOS, Swift Programming, iOS Development, Model View Controller, Apple Xcode, Mobile Development, User Interface (UI), Application Design, Application Development, Objective-C (Programming Language), UI Components, Animations, User Interface and User Experience (UI/UX) Design, Object Oriented Programming (OOP), Application Frameworks, Interaction Design, Programming Principles, Data Persistence, Integrated Development Environments, Persistence

    3.9
    Rating, 3.9 out of 5 stars
    ·
    1.6K reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Hardware Description Languages for FPGA Design

    Skills you'll gain: Verification And Validation, Systems Design, Software Design, Computational Logic, Computer Engineering, Embedded Systems, Hardware Architecture, Simulations, Test Automation

    4.4
    Rating, 4.4 out of 5 stars
    ·
    622 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    D

    DeepLearning.AI

    Calculus for Machine Learning and Data Science

    Skills you'll gain: Applied Mathematics, Calculus, Numerical Analysis, Machine Learning Algorithms, Machine Learning, Python Programming, Artificial Neural Networks, Deep Learning, Visualization (Computer Graphics), Derivatives

    4.8
    Rating, 4.8 out of 5 stars
    ·
    939 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of London

    Probability and Statistics: To p or not to p?

    Skills you'll gain: Descriptive Statistics, Statistics, Probability & Statistics, Statistical Hypothesis Testing, Data Visualization, Data-Driven Decision-Making, Statistical Modeling, Data Analysis, Probability, Probability Distribution, Sampling (Statistics), Risk Modeling, Statistical Inference, Mathematical Modeling

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

    Beginner · Course · 1 - 3 Months

1…107108109…567

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

  • Pre-Calculus: Universitat Autònoma de Barcelona
  • Create a Project Management Tracker using Microsoft Excel: Coursera
  • Customer Service Fundamentals: Knowledge Accelerators
  • Power BI Fundamentals: Corporate Finance Institute
  • Big Data Modeling and Management Systems: University of California San Diego
  • Biomedical Visualisation: University of Glasgow
  • BIM Application for Engineers: National Taiwan University
  • Managing the Organization: University of Illinois Urbana-Champaign
  • iOS App Development with Swift: University of Toronto
  • Hardware Description Languages for FPGA Design: 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