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

Results for "model checking"


  • E

    Edureka

    RAG Systems in Practice

    Skills you'll gain: Retrieval-Augmented Generation, Model Deployment, LangChain, Performance Tuning, AI Workflows, Generative AI, LangGraph, Embeddings, Prompt Engineering, Large Language Modeling, Vector Databases, Data Preprocessing, Scalability, Model Evaluation

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    AI-Powered Jira Automation and Workflow Optimization

    Skills you'll gain: Jira (Software), Responsible AI, Prompt Engineering, Prompt Patterns, Data Ethics, AI Workflows, Model Evaluation, AI Enablement, Generative AI, Workflow Management, Performance Tuning, Automation, Process Optimization, Performance Metric, Debugging, No-Code Development, Technical Documentation, Performance Analysis, Technical Writing, Risk Control

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Trace and Fix Data Anomalies

    Skills you'll gain: Data Quality, Extract, Transform, Load, Anomaly Detection, Data Pipelines, Data Validation, Data Integrity, Dependency Analysis, Data Transformation, Data Processing, Dashboard, SQL

    Beginner · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Design and Assemble an Oil Tank in SolidWorks

    Skills you'll gain: SolidWorks (CAD), Mechanical Design, Assembly Drawing, 3D Modeling, Computer-Aided Design, Integration Testing, Technical Design, Industrial Design, Functional Design, Structural Engineering

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Deploy & Evaluate Vision Models Effectively

    Skills you'll gain: MLOps (Machine Learning Operations), Model Deployment, Performance Metric, Performance Measurement, Failure Analysis

    Intermediate · Course · 1 - 4 Weeks

  • G

    Google Cloud

    AI Infrastructure:Cloud TPU

    Skills you'll gain: Cloud Infrastructure, Tensorflow, Google Cloud Platform, AI Workflows, Model Deployment, Cloud Computing Architecture, Performance Tuning, Interoperability, Hardware Architecture, Systems Architecture

    Intermediate · Course · 1 - 4 Weeks

  • M

    Microsoft

    Enterprise Power BI: Deployment, Security, and Integration

    Skills you'll gain: Power BI, Microsoft Power Platform, DevOps, Microsoft Azure, Application Deployment, Enterprise Architecture, Real Time Data, Business Intelligence, Collaborative Software, Role-Based Access Control (RBAC), Scalability, Data Integration, Data Governance, Data Modeling, System Configuration, Collaboration, Analytics, Compliance Management, Data Sharing, Problem Solving

    Intermediate · Course · 1 - 3 Months

  • P

    Packt

    Excel Fundamentals for Healthcare

    Skills you'll gain: Spreadsheet Software, Healthcare Project Management, Data Cleansing, Health Informatics, Data Analysis Software, Clinical Data Management, Data Validation, Data Management

    Beginner · Course · 1 - 3 Months

  • P

    Packt

    AI Agents and MLOps for Production-Ready AI

    Skills you'll gain: MLOps (Machine Learning Operations), Containerization, AI Workflows, Model Deployment, Generative AI Agents, LangGraph, Artificial Intelligence and Machine Learning (AI/ML), CrewAI, BeeAI, Docker (Software), Agentic systems, Google Cloud Platform, AWS SageMaker, CI/CD, Cloud Platforms, DevOps, Azure DevOps Pipelines, Kubernetes, Applied Machine Learning, Scalability

    Intermediate · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Master Power BI Analytics & Dashboards with DAX

    Skills you'll gain: Data Analysis Expressions (DAX), Power BI, Dashboard, Data Modeling, Data Import/Export, Interactive Data Visualization, Microsoft Power Platform, Data Cleansing, Business Intelligence, Data Transformation, Data Visualization Software, Data Sharing, Role-Based Access Control (RBAC), Security Strategy, Key Performance Indicators (KPIs)

    Beginner · Course · 1 - 3 Months

  • E

    EDUCBA

    Build REST APIs with Go and MongoDB

    Skills you'll gain: Postman API Platform, Restful API, MongoDB, Data Modeling, JSON, Server Side, API Design, Back-End Web Development, Data Access, Docker (Software), Go (Programming Language), API Testing, Databases, Development Environment

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    ML Data Pipelines and Communicating AI Insights

    Intermediate · Course · 1 - 3 Months

1…757677…379

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

  • RAG Systems in Practice: Edureka
  • AI-Powered Jira Automation and Workflow Optimization: Coursera
  • Trace and Fix Data Anomalies: Coursera
  • Design and Assemble an Oil Tank in SolidWorks: EDUCBA
  • Deploy & Evaluate Vision Models Effectively: Coursera
  • AI Infrastructure:Cloud TPU: Google Cloud
  • Enterprise Power BI: Deployment, Security, and Integration: Microsoft
  • Excel Fundamentals for Healthcare: Packt
  • AI Agents and MLOps for Production-Ready AI: Packt
  • Master Power BI Analytics & Dashboards with DAX: EDUCBA

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