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

Results for "model checking"


  • C

    Coursera

    AI Techniques, Causal Inference & Business Optimization

    Skills you'll gain: Data Ethics, Responsible AI, Retrieval-Augmented Generation, LLM Application, Operations Research, Strategic Thinking, Strategic Decision-Making, Business Strategy, Apache Kafka, Stakeholder Communications, Large Language Modeling, Real Time Data, AI Enablement, Performance Testing, Prompt Engineering, Business Analytics, Reinforcement Learning, Inventory Management System, Stakeholder Analysis, General Data Protection Regulation (GDPR)

    Intermediate · Specialization · 3 - 6 Months

  • C

    Coursera

    Hands-on Agentic AI: Building Intelligent Agents

    Skills you'll gain: Model Context Protocol, Responsible AI, LangGraph, AI Orchestration, AI Workflows, LangChain, Agentic systems, System Monitoring, CrewAI, OpenAI API, Generative AI Agents, LLM Application, Tool Calling, Agentic Workflows, Compliance Management, Governance, AI Security, Continuous Monitoring, Artificial Intelligence, Enterprise Application Management

    2.3
    Rating, 2.3 out of 5 stars
    ·
    11 reviews

    Intermediate · Specialization · 3 - 6 Months

  • P

    Packt

    AI Engineer Professional

    Skills you'll gain: MLOps (Machine Learning Operations), Convolutional Neural Networks, Recurrent Neural Networks (RNNs), Containerization, AI Workflows, Model Evaluation, Model Deployment, Generative AI Agents, LangGraph, Keras (Neural Network Library), Transfer Learning, Artificial Intelligence and Machine Learning (AI/ML), CrewAI, BeeAI, Image Analysis, Deep Learning, Large Language Modeling, Natural Language Processing, Vision Transformer (ViT), Python Programming

    Advanced · Specialization · 1 - 3 Months

  • C

    Coursera

    Building RAG Systems with Open Models

    Skills you'll gain: Retrieval-Augmented Generation, Generative AI, LangChain, Software Design Patterns, Vector Databases, LLM Application, Embeddings, Prompt Engineering, Large Language Modeling, Model Evaluation, Text Mining, Scalability, Performance Tuning

    Intermediate · Course · 1 - 4 Weeks

  • T

    Technical University of Munich (TUM)

    Advanced Lean Production & Continuous Improvement

    Skills you'll gain: Lean Manufacturing, Quality Improvement, Production Schedule, Production Process, Kaizen Methodology, Quality Management, Production Management, Continuous Improvement Process, Lean Methodologies, Lean Six Sigma, Process Improvement, Scheduling, Quality Control, Operational Efficiency, Process Analysis, Business Process Management, Kanban Principles, Workflow Management, Capacity Management

    Beginner · Course · 1 - 3 Months

  • 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

  • C

    Coursera

    Evaluate Total Costs for Optimal Procurement

    Skills you'll gain: Cost Benefit Analysis, Strategic Sourcing, Procurement, Financial Modeling, Data-Driven Decision-Making, Bidding, Business Writing, Cost Estimation, Business Risk Management, Cost Accounting, Cost Management, Capital Budgeting, Business Analytics, Business Communication, Supplier Management, Business Modeling, Financial Analysis, Financial Statement Analysis, Analysis, Supply Chain Planning

    Beginner · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Apply AI Foundations with Python and AWS

    Skills you'll gain: Matplotlib, Artificial Intelligence, Artificial Intelligence and Machine Learning (AI/ML), NumPy, Pandas (Python Package), Model Evaluation, AI Workflows, Data Preprocessing, Deep Learning, Responsible AI, AWS SageMaker, Regression Analysis, Scikit Learn (Machine Learning Library), Machine Learning, Data Manipulation, Data Ethics, Applied Machine Learning, Data-Driven Decision-Making, Python Programming, AWS CloudFormation

    Beginner · Specialization · 3 - 6 Months

  • R

    Rice University

    Mindfulness and Well-being

    Skills you'll gain: Growth Mindedness, Stress Management, Resilience, Mindfulness, Personal Development, Self-Awareness, Compassion, Personal Attributes, Positivity, Empathy, Mental Health, Mental Concentration, Interpersonal Communications, Communication, Emotional Intelligence, Social Impact, Behavioral Health, Cognitive flexibility, Persistence, Overcoming Obstacles

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

    Beginner · Specialization · 3 - 6 Months

  • P

    Packt

    Advanced SwiftUI, MVVM, and App Design Patterns

    Skills you'll gain: Apple iOS, Swift Programming, Test Driven Development (TDD), Apple Xcode, Mobile Development, Model View Controller, Application Development, User Interface (UI), User Interface (UI) Design, Software Design Patterns, Software Architecture, Animations

    Advanced · Course · 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

  • A

    Amazon Web Services

    AWS Generative AI Essentials

    Skills you'll gain: Prompt Engineering, Amazon Bedrock, Model Context Protocol, AI Security, AI Workflows, AI Orchestration, Generative AI, Vibe coding, Secure Coding, LLM Application, Responsible AI, Amazon Web Services, Integrated Development Environments

    Beginner · Course · 1 - 4 Weeks

Searches related to model checking

temporal logic model checking
1…495051…372

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

  • AI Techniques, Causal Inference & Business Optimization: Coursera
  • Hands-on Agentic AI: Building Intelligent Agents: Coursera
  • AI Engineer Professional: Packt
  • Building RAG Systems with Open Models: Coursera
  • Advanced Lean Production & Continuous Improvement: Technical University of Munich (TUM)
  • Interactivity with JavaScript: University of Michigan
  • Evaluate Total Costs for Optimal Procurement: Coursera
  • Apply AI Foundations with Python and AWS: EDUCBA
  • Mindfulness and Well-being: Rice University
  • Advanced SwiftUI, MVVM, and App Design Patterns: Packt

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