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

Results for "model checking"


  • E

    EDUCBA

    C++ Programming and Graphics Development

    Skills you'll gain: Object Oriented Programming (OOP), C++ (Programming Language), Application Development, Object Oriented Design, Data Visualization Software, Visualization (Computer Graphics), Programming Principles, Computer Graphics, Solution Design, Computational Thinking, Graphing, Verification And Validation, Development Environment, Software Visualization, Graphic and Visual Design, Data Presentation, Application Design, Data Validation, C and C++, Program Development

    Beginner · Specialization · 3 - 6 Months

  • C

    Coursera

    Harden AI: Patch and Recover Incidents Fast

    Skills you'll gain: Incident Response, AI Security, Incident Management, Model Deployment, Site Reliability Engineering, Patch Management, MLOps (Machine Learning Operations), System Monitoring, Problem Management, Computer Security Incident Management, Responsible AI, Continuous Monitoring, Dependency Analysis, Disaster Recovery, Anomaly Detection, Application Deployment, Automation, Dashboard

    Intermediate · Course · 1 - 4 Weeks

  • U

    University of Alberta

    Design Patterns

    Skills you'll gain: Model View Controller, Software Design Patterns, Software Design, Unified Modeling Language, Object Oriented Design, Code Review, Software Architecture, Programming Principles, Maintainability, Java, Application Design

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

    Intermediate · Course · 1 - 4 Weeks

  • U

    Universitat Politècnica de València

    IT Fundamentals for Business Profiles: Hardware

    Skills you'll gain: Computer Hardware, Computer Architecture, Networking Hardware, Hardware Architecture, Computer Systems, Information Technology, Data Storage, Facility Repair And Maintenance, Computer Networking, Peripheral Devices, Wireless Networks, Computer Security

    Intermediate · Course · 1 - 3 Months

  • E

    EDUCBA

    Build iOS Apps with Swift UI Components

    Skills you'll gain: Application Lifecycle Management, User Interface (UI) Design, Data Validation, Data Management

    Beginner · Course · 1 - 3 Months

  • P

    Pragmatic AI Labs

    Large Language Models with Hugging Face

    Skills you'll gain: Prompt Engineering, Hugging Face, Generative AI, JSON

    Intermediate · Course · 1 - 4 Weeks

  • K

    Kennesaw State University

    Growing Your Core Business with Jagdish Sheth

    Skills you'll gain: Market Opportunities, Growth Strategies, Corporate Strategy, Business Development, Business Strategy, Strategic Marketing, Market Analysis, New Product Development, Portfolio Management, Case Studies, Cash Flows, Financial Analysis

    Beginner · Course · 1 - 4 Weeks

  • D

    Duke University

    AI Product Management

    Skills you'll gain: Deep Learning, MLOps (Machine Learning Operations), Responsible AI, Model Evaluation, Data Ethics, Data Management, Project Management Life Cycle, Unsupervised Learning, Human Computer Interaction, User Experience Design, Classification And Regression Tree (CART), Data Quality, Model Deployment, Data Preprocessing, Human Centered Design, Machine Learning, Project Management, Product Management, Product Design, Data Science

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

    Beginner · Specialization · 3 - 6 Months

  • C

    Coursera

    Systematic ML Optimization

    Skills you'll gain: MLOps (Machine Learning Operations), Image Analysis, Multimodal Prompts, Debugging, Computer Vision, Algorithms, Model Evaluation, Applied Machine Learning, Performance Tuning, Failure Mode And Effects Analysis, Verification And Validation, Root Cause Analysis, Performance Analysis, Machine Learning, Deep Learning, Artificial Neural Networks, Tensorflow, Data Visualization, Python Programming, Experimentation

    Intermediate · Specialization · 3 - 6 Months

  • C

    Coursera

    Optimize and Manage Your ML Codebase

    Skills you'll gain: MLOps (Machine Learning Operations), Version Control, Model Deployment, CI/CD, Git (Version Control System), Continuous Deployment, Performance Tuning, Continuous Integration, Software Development Methodologies, Software Versioning, Release Management, Continuous Delivery, PyTorch (Machine Learning Library), Performance Improvement, Software Testing

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Accounting Assistant

    Skills you'll gain: Accounts Payable and Receivable, Accounts Payable, Bookkeeping, Generally Accepted Accounting Principles (GAAP), Cash Flow Forecasting, Month End Closing, Payroll Tax, Financial Statements, Business Workflow Analysis, Billing & Invoicing, Accounting, Accounting Software, Reconciliation, Invoicing, General Ledger, Microsoft Excel, Payroll Processing, Internal Auditing, Variance Analysis, Data Transformation

    Beginner · Professional Certificate · 3 - 6 Months

  • P

    Pragmatic AI Labs

    Hugging Face Hub and Ecosystem Fundamentals

    Skills you'll gain: Hugging Face, Model Deployment, Transfer Learning, MLOps (Machine Learning Operations), Data Processing, Model Evaluation, Image Analysis, Natural Language Processing, Applied Machine Learning, Data Pipelines, Knowledge of Apple Hardware

    Intermediate · Course · 1 - 3 Months

Searches related to model checking

temporal logic model checking
1…505152…372

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

  • C++ Programming and Graphics Development: EDUCBA
  • Harden AI: Patch and Recover Incidents Fast: Coursera
  • Design Patterns: University of Alberta
  • IT Fundamentals for Business Profiles: Hardware: Universitat Politècnica de València
  • Build iOS Apps with Swift UI Components: EDUCBA
  • Large Language Models with Hugging Face: Pragmatic AI Labs
  • Growing Your Core Business with Jagdish Sheth: Kennesaw State University
  • AI Product Management: Duke University
  • Systematic ML Optimization: Coursera
  • Optimize and Manage Your ML Codebase: Coursera

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