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

Results for "model checking"


  • E

    EDUCBA

    Python Basics: Learn, Apply & Build Programs

    Skills you'll gain: Software Installation, Data Validation, Python Programming, Program Development, Computational Thinking, Development Environment, Data Processing, Computer Programming, System Configuration, Algorithms, Debugging

    4.5
    Rating, 4.5 out of 5 stars
    ·
    35 reviews

    Mixed · Course · 1 - 4 Weeks

  • C

    Coursera

    Microsoft Copilot for Power BI: AI-Powered Report Insights

    Skills you'll gain: Data Analysis Expressions (DAX), Power BI, Microsoft Power Platform, Dashboard, Data Modeling, Business Intelligence, Microsoft Excel, Microsoft Copilot, Data Integration, Interactive Data Visualization, Data-Driven Decision-Making, Performance Reporting, Data Transformation, Data Cleansing, ChatGPT

    Intermediate · Course · 1 - 4 Weeks

  • G

    Google Cloud

    Smart Analytics, Machine Learning, and AI on GCP en Español

    Skills you'll gain: Google Cloud Platform, Model Deployment, MLOps (Machine Learning Operations), Tensorflow, Data Pipelines, Machine Learning, Unstructured Data, Predictive Modeling, Artificial Intelligence, Natural Language Processing

    4.7
    Rating, 4.7 out of 5 stars
    ·
    47 reviews

    Intermediate · Course · 1 - 3 Months

  • C

    Coursera

    API Validation with Postman

    Skills you'll gain: Postman API Platform, API Testing, Data Validation, Application Programming Interface (API), Restful API, Verification And Validation, Performance Tuning, Microservices, Performance Testing, Security Controls, Data Integrity, Authentications

    4.4
    Rating, 4.4 out of 5 stars
    ·
    14 reviews

    Intermediate · Course · 1 - 4 Weeks

  • U

    University of Michigan

    Linear Regression Modeling for Health Data

    Skills you'll gain: Statistical Modeling, Statistics, Regression Analysis, Statistical Methods, Statistical Inference, Probability & Statistics, Correlation Analysis, Data Analysis, Statistical Analysis, Statistical Hypothesis Testing

    Intermediate · Course · 1 - 4 Weeks

  • I

    Infosec

    Laravel: Configure, Validate, Authenticate and Authorize

    Skills you'll gain: Secure Coding, Application Security, Authorization (Computing), Authentications, Data Validation, Role-Based Access Control (RBAC), Verification And Validation, Security Controls, User Accounts, Configuration Management, Package and Software Management, Cybersecurity, Data Loss Prevention, Identity and Access Management, Software Installation, Middleware, Debugging, Computer Programming, Information Technology, Dependency Analysis

    4.6
    Rating, 4.6 out of 5 stars
    ·
    19 reviews

    Beginner · Course · 1 - 3 Months

  • U

    University of the Arts London

    Introduction to Creative AI

    Skills you'll gain: PyTorch (Machine Learning Library), Artificial Intelligence, Creativity, Artificial Intelligence and Machine Learning (AI/ML), Creative Thinking, Generative AI, Artificial Neural Networks, Responsible AI, Creative Problem-Solving, Creative Design, Machine Learning Methods, Data Ethics, Deep Learning, Critical Thinking

    4.4
    Rating, 4.4 out of 5 stars
    ·
    9 reviews

    Beginner · Course · 1 - 4 Weeks

  • U

    University of Michigan

    The Power of Object-Oriented Programming

    Skills you'll gain: Object Oriented Programming (OOP), Object Oriented Design, Computer Programming, Program Development, Python Programming, Debugging

    4
    Rating, 4 out of 5 stars
    ·
    6 reviews

    Intermediate · Course · 1 - 4 Weeks

  • U

    University of Colorado Boulder

    Forming, Funding, and Launching a Technology Startup Company

    Skills you'll gain: Entrepreneurial Finance, Business Planning, Financial Statements, Growth Strategies, Business Ethics, Intellectual Property, Financial Modeling, Entrepreneurship, Income Statement, Engineering Management, Legal Risk, Business Strategies, Technology Strategies, Organizational Development, Business Modeling, Cash Flows, Business Development, New Business Development, Risk Analysis, Engineering

    Build toward a degree

    Beginner · Course · 1 - 3 Months

  • S

    Starweaver

    Effective Corporate Communication: Principles & Evolution

    Skills you'll gain: Corporate Communications, Internal Communications, Strategic Communication, Media Relations, Stakeholder Communications, Business Communication, Stakeholder Engagement, Intercultural Competence, Public Relations, Cultural Diversity, Communication Strategies, Crisis Management, Ethical Standards And Conduct, Digital Communications, Employee Engagement, Branding

    4.7
    Rating, 4.7 out of 5 stars
    ·
    30 reviews

    Beginner · Course · 1 - 4 Weeks

  • G

    Google Cloud

    Smart Analytics, Machine Learning, and AI on GCP 日本語版

    Skills you'll gain: Google Cloud Platform, Unstructured Data, Tensorflow, Big Data, Analytics, Model Deployment, Machine Learning, Data Pipelines, Jupyter, Artificial Intelligence, Natural Language Processing, SQL

    4.5
    Rating, 4.5 out of 5 stars
    ·
    31 reviews

    Intermediate · Course · 1 - 3 Months

  • O

    O.P. Jindal Global University

    Conflict Resolution, Negotiations and Crisis Management

    Skills you'll gain: Crisis Management, Mediation, Negotiation, Conflict Management, Diplomacy, Leadership, Governance, Public Safety and National Security, International Relations, Social Justice, Diversity and Inclusion, Decision Making, Case Studies

    4.9
    Rating, 4.9 out of 5 stars
    ·
    8 reviews

    Beginner · Course · 1 - 3 Months

Searches related to model checking

temporal logic model checking
1…222223224…372

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

  • Python Basics: Learn, Apply & Build Programs: EDUCBA
  • Microsoft Copilot for Power BI: AI-Powered Report Insights: Coursera
  • Smart Analytics, Machine Learning, and AI on GCP en Español: Google Cloud
  • API Validation with Postman: Coursera
  • Linear Regression Modeling for Health Data: University of Michigan
  • Laravel: Configure, Validate, Authenticate and Authorize: Infosec
  • Introduction to Creative AI: University of the Arts London
  • The Power of Object-Oriented Programming: University of Michigan
  • Forming, Funding, and Launching a Technology Startup Company: University of Colorado Boulder
  • Effective Corporate Communication: Principles & Evolution: Starweaver

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