• For Individuals
  • For Businesses
  • For Universities
  • For Governments
Degrees
​
Log In
Join for Free
  • Browse
  • Model Checking

Results for "model checking"


  • Status: Free Trial
    Free Trial
    S

    Splunk Inc.

    Splunk Search Expert 103

    Skills you'll gain: Splunk, Correlation Analysis, Performance Tuning, Data Manipulation, Data Analysis, Data Modeling, Big Data, Transaction Processing, Data Science, Business Analytics, Data Visualization

    4.7
    Rating, 4.7 out of 5 stars
    ·
    49 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free
    Free
    C

    Clemson University

    Database Management Systems

    Skills you'll gain: Database Design, Database Management Systems, MySQL, Database Theory, Relational Databases, Databases, Data Modeling, Database Architecture and Administration, SQL, NoSQL, Diagram Design

    Build toward a degree

    4.4
    Rating, 4.4 out of 5 stars
    ·
    48 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    P

    Packt

    Data Science Essentials: Analysis, Statistics, and ML

    Skills you'll gain: Plotly, Model Evaluation, NumPy, Plot (Graphics), Dashboard, Statistics, Pandas (Python Package), Data Analysis, Statistical Analysis, Regression Analysis, Data Manipulation, Python Programming, Analytics, Probability & Statistics, Statistical Methods, Applied Machine Learning, Probability, Data Science, Statistical Modeling, Performance Tuning

    4.6
    Rating, 4.6 out of 5 stars
    ·
    29 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    S

    Starweaver

    Credit Risk Analysis and Underwriting

    Skills you'll gain: Credit Risk, Lending and Underwriting, Underwriting, Risk Analysis, Risk Management, Business Risk Management, Case Studies, Financial Analysis, Financial Statement Analysis, Corporate Finance, Financial Modeling, Stakeholder Communications, Cash Flows

    4.3
    Rating, 4.3 out of 5 stars
    ·
    7 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    W

    Whizlabs

    Exam Prep PL-400: Microsoft Power Platform Developer Assoc.

    Skills you'll gain: Microsoft Power Automate/Flow, Microsoft Power Platform, Data Analysis Expressions (DAX), Power Apps Component Framework, Power BI, Microsoft Azure, Dashboard, Workflow Management, Process Analysis, Microsoft Copilot, Process Mapping, AI Workflows, Business Process Automation, Microsoft 365, Process Optimization, Automation, Microsoft Visual Studio, Restful API, Application Lifecycle Management, JSON

    2.8
    Rating, 2.8 out of 5 stars
    ·
    13 reviews

    Intermediate · Specialization · 1 - 3 Months

  • C

    Coursera

    Deep Learning with PyTorch : Siamese Network

    Skills you'll gain: Embeddings, PyTorch (Machine Learning Library), Artificial Neural Networks, Image Analysis, Deep Learning, Applied Machine Learning, Convolutional Neural Networks, Computer Vision

    4.7
    Rating, 4.7 out of 5 stars
    ·
    49 reviews

    Advanced · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    P

    Packt

    Introduction to Rust Programming and Core Concepts

    Skills you'll gain: Rust (Programming Language), Development Environment, Programming Principles, Data Structures, Integrated Development Environments, System Programming, Algorithms

    3.8
    Rating, 3.8 out of 5 stars
    ·
    19 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    H

    H2O.ai

    H2O ai Large Language Models (LLMs) - Level 1

    Skills you'll gain: Large Language Modeling, Artificial Neural Networks, Deep Learning, Artificial Intelligence and Machine Learning (AI/ML), Generative AI, Generative Model Architectures, Natural Language Processing, Transfer Learning

    3.2
    Rating, 3.2 out of 5 stars
    ·
    9 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    N

    Northeastern University

    Information Systems Foundations

    Skills you'll gain: Systems Thinking, Software Visualization, Object Oriented Design, Software Engineering, Object Oriented Programming (OOP), Application Design, Web Applications, Software Development Life Cycle, Case Studies, Data Modeling, Systems Development, Software Development, Business Architecture, Engineering Software, Business Risk Management, Python Programming, Software Design, Application Development, Computer Programming, Development Environment

    2.6
    Rating, 2.6 out of 5 stars
    ·
    16 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    W

    Whizlabs

    Exam Prep AIF-C01: AWS Certified AI Practitioner

    Skills you'll gain: Amazon Bedrock, Prompt Engineering, Responsible AI, AI Security, Generative AI, MLOps (Machine Learning Operations), AWS SageMaker, Artificial Intelligence and Machine Learning (AI/ML), Amazon Web Services, AWS Identity and Access Management (IAM), Amazon S3, Model Deployment, Model Evaluation, Natural Language Processing

    4.4
    Rating, 4.4 out of 5 stars
    ·
    15 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free
    Free
    A

    Amazon Web Services

    Responsible AI Practices

    Skills you'll gain: Responsible AI, AI Security, Human Centered Design, Data Ethics, Model Evaluation, Artificial Intelligence, AWS SageMaker

    4.1
    Rating, 4.1 out of 5 stars
    ·
    47 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    S

    SkillUp

    Power BI Data Analyst Associate Prep

    Skills you'll gain: Data Analysis Expressions (DAX), Dashboard, Power BI, Data Visualization, Data Transformation, Data Manipulation, Data Modeling, Data Import/Export, Data Visualization Software, Extract, Transform, Load, Data Analysis, Analytics, Data Cleansing, Performance Analysis, Data Security, Data Management

    4.3
    Rating, 4.3 out of 5 stars
    ·
    16 reviews

    Intermediate · Course · 1 - 4 Weeks

Searches related to model checking

temporal logic model checking
quantitative model checking
1…201202203…371

In summary, here are 10 of our most popular model checking courses

  • Splunk Search Expert 103: Splunk Inc.
  • Database Management Systems: Clemson University
  • Data Science Essentials: Analysis, Statistics, and ML: Packt
  • Credit Risk Analysis and Underwriting: Starweaver
  • Exam Prep PL-400: Microsoft Power Platform Developer Assoc.: Whizlabs
  • Deep Learning with PyTorch : Siamese Network: Coursera
  • Introduction to Rust Programming and Core Concepts: Packt
  • H2O ai Large Language Models (LLMs) - Level 1: H2O.ai
  • Information Systems Foundations: Northeastern University
  • Exam Prep AIF-C01: AWS Certified AI Practitioner: Whizlabs

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

  • Accounting
  • Artificial Intelligence (AI)
  • Cybersecurity
  • Data Analytics
  • Digital Marketing
  • Human Resources (HR)
  • Microsoft Excel
  • Project Management
  • Python
  • SQL

Professional Certificates

  • Google AI Certificate
  • Google Cybersecurity Certificate
  • Google Data Analytics Certificate
  • Google IT Support Certificate
  • Google Project Management Certificate
  • Google UX Design Certificate
  • IBM AI Engineering Certificate
  • IBM AI Product Manager Certificate
  • IBM Data Science Certificate
  • Intuit Academy Bookkeeping Certificate

Courses & Specializations

  • AI Essentials Specialization
  • AI For Business Specialization
  • AI For Everyone Course
  • AI in Healthcare Specialization
  • Deep Learning Specialization
  • Excel Skills for Business Specialization
  • Financial Markets Course
  • Machine Learning Specialization
  • Prompt Engineering for ChatGPT Course
  • Python for Everybody Specialization

Career Resources

  • Career Aptitude Test
  • CAPM Certification Requirements
  • CompTIA A+ Certification Requirements
  • CompTIA Security+ Certification Requirements
  • Essential IT Certifications
  • Free IT Certifications and Courses
  • High-Income Skills to Learn
  • How to Learn Artificial Intelligence
  • PMP Certification Requirements
  • Popular Cybersecurity Certifications

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