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

    Infosec

    Computer Forensics

    Skills you'll gain: Digital Forensics, File Systems, Microsoft Windows, Cybersecurity, TCP/IP, Network Protocols, Information Systems Security, File Management, Operating Systems, Data Structures, General Networking, Data Validation, Record Keeping, Data Integrity, Data Storage, Data Analysis Software, User Accounts, USB, Ethical Standards And Conduct, Encryption

    4.7
    Rating, 4.7 out of 5 stars
    ·
    343 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Illinois Urbana-Champaign

    Applying Data Analytics in Marketing

    Skills you'll gain: Marketing Analytics, AI Personalization, Advanced Analytics, Customer Retention, Analytics, Marketing Effectiveness, Predictive Modeling, Marketing, Data Analysis, Social Network Analysis, Customer Analysis, Data Ethics, Customer Insights, Market Analysis, Text Mining, Predictive Analytics, Marketing Strategy and Techniques, Digital Marketing, Machine Learning, Generative AI

    Build toward a degree

    4.5
    Rating, 4.5 out of 5 stars
    ·
    191 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    AI for Cybersecurity

    Skills you'll gain: Generative Adversarial Networks (GANs), Anomaly Detection, AI Security, Generative AI, Fraud detection, Intrusion Detection and Prevention, Model Evaluation, Malware Protection, Cyber Threat Hunting, Cybersecurity, Threat Detection, Cyber Threat Intelligence, Feature Engineering, Network Analysis, Cyber Attacks, Cyber Security Strategy, Applied Machine Learning, Email Security, Network Security, Jupyter

    4.3
    Rating, 4.3 out of 5 stars
    ·
    104 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    S

    SkillUp

    Business Analyst (ECBA) Certificate Preparation 

    Skills you'll gain: Business Analysis, Business Process Modeling, Stakeholder Analysis, Process Optimization, Requirements Management, Business Requirements, Stakeholder Management, Process Analysis, Data Modeling, Agile Methodology, Stakeholder Engagement, Requirements Analysis, Process Improvement, User Story, Project Management, Data Flow Diagrams (DFDs), Risk Management, Plan Execution, Project Planning, Needs Assessment

    4.7
    Rating, 4.7 out of 5 stars
    ·
    97 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    É

    École Polytechnique Fédérale de Lausanne

    Geographical Information Systems - Part 1

    Skills you'll gain: Geographic Information Systems, GIS Software, Spatial Data Analysis, NoSQL, Data Modeling, Database Design, Databases, Data Storage Technologies, SQL, Data Storage, Data Capture, Query Languages, Relational Databases

    3.5
    Rating, 3.5 out of 5 stars
    ·
    99 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    B

    Board Infinity

    Generative AI: Prompt Engineering Basics

    Skills you'll gain: Responsible AI, LLM Application, Model Evaluation, Scripting, Debugging

    4.6
    Rating, 4.6 out of 5 stars
    ·
    54 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    C

    Corporate Finance Institute

    Data Skills for Excel Professionals

    Skills you'll gain: Dashboard, Microsoft Excel, Pivot Tables And Charts, Star Schema, Spreadsheet Software, Data Transformation, Data Analysis Expressions (DAX), Data Storytelling, Data Analysis, Excel Formulas, Extract, Transform, Load, Consolidation, Data Visualization Software, Data Presentation, Data Modeling, Business Intelligence, Competitive Analysis, Data Manipulation, Data Cleansing, Data Integration

    4.7
    Rating, 4.7 out of 5 stars
    ·
    184 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Generative AI as a Learning Design Partner

    Skills you'll gain: Generative AI, Responsible AI, Prompt Engineering, ChatGPT, Instructional Design, LLM Application, Ideation, Education Software and Technology, Brainstorming, Design Strategies, Artificial Intelligence, Content Creation, Data Ethics, Creative Design, Emerging Technologies, Persona Development, Professional Development, digital literacy

    4.7
    Rating, 4.7 out of 5 stars
    ·
    76 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    D

    Duke University

    Explainable AI (XAI)

    Skills you'll gain: Responsible AI, Large Language Modeling, Data Ethics, Decision Tree Learning, AI Security, Regression Analysis, Generative AI, Artificial Intelligence, Predictive Modeling, AI Product Strategy, Statistical Modeling, Python Programming, Machine Learning, Model Evaluation, Applied Machine Learning, Image Analysis, Logistic Regression, Machine Learning Methods, Deep Learning, Visualization (Computer Graphics)

    4.6
    Rating, 4.6 out of 5 stars
    ·
    78 reviews

    Intermediate · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    Universidad Nacional Autónoma de México

    Solución de problemas y toma de decisiones

    Skills you'll gain: Creative Thinking, Cognitive flexibility, Creative Problem-Solving, Brainstorming, Problem Solving, Decision Making, Critical Thinking, Staff Management, Strategic Thinking, Teamwork, Collaboration, Leadership

    4.8
    Rating, 4.8 out of 5 stars
    ·
    726 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    B

    Board Infinity

    Fundamentals of Java Programming

    Skills you'll gain: Eclipse (Software), Java Programming, Object Oriented Programming (OOP), Java, Object Oriented Design, Integrated Development Environments, Development Environment, Computer Programming, Debugging, Virtual Machines, Algorithms

    4.4
    Rating, 4.4 out of 5 stars
    ·
    623 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    C

    Codio

    Advanced Django: Mastering Django and Django Rest Framework

    Skills you'll gain: Django (Web Framework), Performance Tuning, Postman API Platform, Restful API, Application Programming Interface (API), Data Validation, Authentications, Frontend Integration, React.js, API Testing, Authorization (Computing), PostgreSQL, API Design, Scalability, Application Frameworks, JSON, Full-Stack Web Development, Frontend Performance, Web Development, Python Programming

    4.6
    Rating, 4.6 out of 5 stars
    ·
    160 reviews

    Advanced · Specialization · 3 - 6 Months

1…203204205…573

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

  • Computer Forensics: Infosec
  • Applying Data Analytics in Marketing: University of Illinois Urbana-Champaign
  • AI for Cybersecurity: Johns Hopkins University
  • Business Analyst (ECBA) Certificate Preparation : SkillUp
  • Geographical Information Systems - Part 1: École Polytechnique Fédérale de Lausanne
  • Generative AI: Prompt Engineering Basics: Board Infinity
  • Data Skills for Excel Professionals: Corporate Finance Institute
  • Generative AI as a Learning Design Partner: University of Michigan
  • Explainable AI (XAI): Duke University
  • Solución de problemas y toma de decisiones: Universidad Nacional Autónoma de México

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