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

Results for "model checking"


  • G

    Google Cloud

    Responsible AI for Developers: Privacy & Safety - 繁體中文

    Skills you'll gain: Responsible AI, AI Security, Data Ethics, Information Privacy, Google Cloud Platform, Cloud Security, Artificial Intelligence, Model Training, Data Security, Threat Modeling, Safety and Security

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    E

    EDUCBA

    Build & Implement a C# .NET Fever Tracking System

    Skills you'll gain: Data Validation, .NET Framework, System Requirements, Database Design, C# (Programming Language), ASP.NET, User Interface (UI) Design, Databases, Application Development, Healthcare Project Management, Application Design, Object Oriented Programming (OOP), Business Logic, Microsoft Visual Studio, Debugging

    Intermediate · Course · 1 - 4 Weeks

  • G

    Google Cloud

    在 Google Cloud 上将应用与 Gemini 1.0 Pro 集成

    Skills you'll gain: Gemini, Google Gemini, Generative AI, Multimodal Prompts, Google Cloud Platform, AI Integrations, LLM Application, Model Evaluation, Application Programming Interface (API), Application Development, API Testing

    Beginner · Course · 1 - 4 Weeks

  • G

    Google Cloud

    Machine Learning in the Enterprise - Italiano

    Skills you'll gain: Model Training, MLOps (Machine Learning Operations), Model Deployment, Model Optimization, Data Governance, Data Management, Data Lakes, AI Workflows, Information Management, Data Store, Workflow Management, Business Workflow Analysis, Data Pipelines, Google Cloud Platform, AI Orchestration, Model Evaluation, Predictive Modeling, Data Transformation, Machine Learning

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    G

    Google Cloud

    Responsible AI for Developers: Interpretability & Transparency - 한국어

    Skills you'll gain: Responsible AI, AI literacy, Data Ethics, Artificial Intelligence, Model Evaluation, Applied Machine Learning, Machine Learning, Data Governance

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    E

    EDUCBA

    Apply RxSwift to Build Reactive iOS E-Commerce Apps

    Skills you'll gain: Swift Programming, iOS Development, Apple iOS, Application Development, Mobile Development, Software Architecture, Secure Coding, Maintainability, Software Design Patterns, Code Reusability, Data Validation, User Interface (UI), Memory Management

    Intermediate · Course · 1 - 4 Weeks

  • G

    Google Cloud

    運用 Vertex AI 和 Flutter 打造生成式 AI 代理

    Skills you'll gain: Google Gemini, Gemini, Flutter (Software), Generative AI Agents, Generative AI, Google Cloud Platform, LLM Application, Mobile Development, Application Development, AI Workflows, Model Deployment

    Intermediate · Course · 1 - 3 Months

  • G

    Google Cloud

    MLOps with Vertex AI: Manage Features - 한국어

    Skills you'll gain: MLOps (Machine Learning Operations), Model Deployment, Google Cloud Platform, Feature Engineering, Data Store, Applied Machine Learning, Operational Data Store, Automation, Data Processing, Data Storage Technologies, Data Modeling, Data Management, Data Quality, Data Storage

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    E

    EDUCBA

    Apply Intermediate iOS Development with Swift Core Features

    Skills you'll gain: iOS Development, Application Design, Secure Coding

    Intermediate · Course · 1 - 3 Months

  • G

    Google Cloud

    Vertex AI と Flutter による 生成 AI エージェントの構築

    Skills you'll gain: Flutter (Software), Google Gemini, Gemini, Generative AI Agents, Generative AI, Mobile Development, Google Cloud Platform, AI Workflows, Application Development, LLM Application, AI Integrations, Model Deployment

    Beginner · Course · 1 - 3 Months

  • G

    Google Cloud

    Encoder-Decoder Architecture - Deutsch

    Skills you'll gain: Keras (Neural Network Library), Model Training, Tensorflow, Model Deployment, Generative Model Architectures, Generative AI, Natural Language Processing

    Advanced · Course · 1 - 4 Weeks

  • Status: New
    New
    P

    Packt

    Procedural Weapon Generation with Blender 4.4

    Skills you'll gain: Scripting Languages

    Intermediate · Course · 1 - 4 Weeks

1…419420421…424

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

  • Responsible AI for Developers: Privacy & Safety - 繁體中文: Google Cloud
  • Build & Implement a C# .NET Fever Tracking System: EDUCBA
  • 在 Google Cloud 上将应用与 Gemini 1.0 Pro 集成: Google Cloud
  • Machine Learning in the Enterprise - Italiano: Google Cloud
  • Responsible AI for Developers: Interpretability & Transparency - 한국어: Google Cloud
  • Apply RxSwift to Build Reactive iOS E-Commerce Apps: EDUCBA
  • 運用 Vertex AI 和 Flutter 打造生成式 AI 代理: Google Cloud
  • MLOps with Vertex AI: Manage Features - 한국어: Google Cloud
  • Apply Intermediate iOS Development with Swift Core Features: EDUCBA
  • Vertex AI と Flutter による 生成 AI エージェントの構築: Google Cloud

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