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

Results for "model checking"


  • W

    Whizlabs

    Generative AI for Azure Cloud Engineers

    Skills you'll gain: Responsible AI, Retrieval-Augmented Generation, Generative AI, Microsoft Copilot, Microsoft Azure, OpenAI API, Prompt Engineering, AI Security, OpenAI, Model Deployment, Microsoft Power Platform, LLM Application, AI Workflows, Microsoft Office, Natural Language Processing

    Intermediate · Course · 1 - 4 Weeks

  • U

    Universidad Nacional Autónoma de México

    Creatividad, diseño e innovación: Técnicas y herramientas

    Skills you'll gain: Design Research, Innovation, Creativity, Design Thinking, Creative Thinking, Stakeholder Analysis, Design, Brainstorming, Creative Problem-Solving, Peer Review, Ideation, Design Strategies, Product Design, Curiosity, User Experience Design, Customer experience improvement, New Product Development, Business Modeling, Cognitive flexibility, Consumer Behaviour

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

    Beginner · Specialization · 3 - 6 Months

  • E

    EDUCBA

    Build Interactive Power BI Dashboards for Business Reporting

    Skills you'll gain: People Analytics, Business Reporting, Stakeholder Analysis, Data Analysis Expressions (DAX), Business Analytics, Data Validation, Data Visualization, Data Visualization Software, Data Transformation

    Beginner · Course · 1 - 4 Weeks

  • P

    Packt

    Generative AI and ChatGPT - Quickstart with Examples

    Skills you'll gain: OpenAI API, Generative AI, ChatGPT, Prompt Engineering, Artificial Intelligence, Natural Language Processing, Authentications, Application Programming Interface (API), Node.JS

    Beginner · Course · 1 - 3 Months

  • P

    Packt

    Ultimate ASP.NET Core Web API Development Guide

    Skills you'll gain: Restful API, ASP.NET, Postman API Platform, Application Programming Interface (API), API Design, Application Deployment, Web Development, Database Design, Authentications, API Testing, Microsoft Visual Studio, Data Modeling, Microsoft Azure, Secure Coding, Authorization (Computing), Maintainability, GitHub, Debugging, Version Control, Data Validation

    Intermediate · Course · 1 - 3 Months

  • C

    Coursera

    Build Chroma Search

    Skills you'll gain: Vector Databases, Embeddings, Semantic Web, Flask (Web Framework), Model Deployment, Restful API, Python Programming

    Intermediate · Course · 1 - 4 Weeks

  • U

    University of Michigan

    Interactivity with JavaScript

    Skills you'll gain: Javascript, Debugging, Web Content Accessibility Guidelines, Interactive Design, Event-Driven Programming, Web Design and Development, HTML and CSS, Web Development, User Interface (UI)

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

    Beginner · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Apply Flutter App Development From Beginner to Advanced

    Skills you'll gain: Responsive Web Design, Flutter (Software), Mobile Development, Application Development, Data Validation, User Interface (UI) Design, User Interface (UI), Application Design, Cross Platform Development, Interactive Design, Human Computer Interaction, Interaction Design, User Flows, Scalability, Usability, Verification And Validation, Maintainability, Image Quality

    4.4
    Rating, 4.4 out of 5 stars
    ·
    7 reviews

    Beginner · Specialization · 1 - 3 Months

  • E

    EDUCBA

    Apply Advanced Java Case Studies & TestNG Automation

    Skills you'll gain: Java, Java Programming, Object Oriented Design, Object Oriented Programming (OOP), User Interface (UI) Design, Unit Testing, JUnit, Data Validation, Software Development, Application Design, Development Testing, Application Development, Test Automation, Test Case, Data Modeling, System Design and Implementation, Databases, Software Documentation, Development Environment, Software Testing

    Beginner · Specialization · 1 - 3 Months

  • M

    Microsoft

    MLOps and responsible AI practices

    Skills you'll gain: Responsible AI, MLOps (Machine Learning Operations), Azure DevOps, Generative AI, Microsoft Azure, Model Deployment, AI Workflows, CI/CD, Version Control, Data Ethics, Artificial Intelligence, Model Evaluation, Git (Version Control System), Automation, System Monitoring, Continuous Monitoring

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Transform Data: Cleanse, Encode, Validate

    Skills you'll gain: Data Cleansing, Data Transformation, Data Preprocessing, Data Wrangling, Data Quality, Data Manipulation, Feature Engineering, Data Validation, Pandas (Python Package), Predictive Modeling, Exploratory Data Analysis, Quality Assurance, Descriptive Analytics, Technical Documentation

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Build BI Pipelines

    Skills you'll gain: Looker (Software), Data Pipelines, Data Transformation, Dashboard, Automation, Scripting, Business Intelligence, Extract, Transform, Load, Data Processing, Data Warehousing, Data Integrity, Data Quality, Google Cloud Platform, Data Validation, Marketing Analytics, Auditing, SQL

    Intermediate · Course · 1 - 4 Weeks

Searches related to model checking

temporal logic model checking
1…484950…374

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

  • Generative AI for Azure Cloud Engineers: Whizlabs
  • Creatividad, diseño e innovación: Técnicas y herramientas: Universidad Nacional Autónoma de México
  • Build Interactive Power BI Dashboards for Business Reporting: EDUCBA
  • Generative AI and ChatGPT - Quickstart with Examples: Packt
  • Ultimate ASP.NET Core Web API Development Guide: Packt
  • Build Chroma Search: Coursera
  • Interactivity with JavaScript: University of Michigan
  • Apply Flutter App Development From Beginner to Advanced: EDUCBA
  • Apply Advanced Java Case Studies & TestNG Automation: EDUCBA
  • MLOps and responsible AI practices: Microsoft

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