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

Results for "model checking"


  • M

    Microsoft

    Microsoft Business Analyst

    Skills you'll gain: Microsoft Power Platform, Excel Formulas, Process Flow Diagrams, Business Process Modeling, User Story, Business Requirements, Stakeholder Management, Data Modeling, Microsoft Excel, Software Development Life Cycle, Requirements Analysis, Requirements Elicitation, Quality Management, Diagram Design, Pivot Tables And Charts, Microsoft Visio, Power BI, Microsoft Power Automate/Flow, Business Analysis, Data Analysis

    4.6
    Rating, 4.6 out of 5 stars
    ·
    1.5K reviews

    Beginner · Professional Certificate · 3 - 6 Months

  • C

    Coursera

    GenAI Ops: Running Powerful Generative AI Systems

    Skills you'll gain: Cloud Security, Emotional Intelligence, Stakeholder Management, Data Ethics, Data Governance, Data Security, Enterprise Architecture, Executive Presence, Professional Development, AI Enablement, AI Product Strategy, Infrastructure as Code (IaC), Financial Forecasting, Zero Trust Network Access, Systems Architecture, Application Deployment, Continuous Deployment, Terraform, Incident Management, Performance Tuning

    Intermediate · Professional Certificate · 3 - 6 Months

  • C

    Coursera

    Evaluating LLM Performance and Efficiency

    Skills you'll gain: Product Requirements, Prompt Engineering, Prompt Patterns, LLM Application, Process Mapping, MLOps (Machine Learning Operations), Operational Efficiency, Large Language Modeling, Model Evaluation, Process Optimization, Workflow Management, Cost Reduction, Cost Management, User Acceptance Testing (UAT), Vector Databases, Standard Operating Procedure, Key Performance Indicators (KPIs), Artificial Intelligence and Machine Learning (AI/ML)

    Intermediate · Course · 1 - 4 Weeks

  • 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

  • U

    Universidad Nacional Autónoma de México

    Pensamiento sistémico

    Skills you'll gain: Systems Thinking, Systems Analysis, Critical Thinking and Problem Solving, Social Studies, Case Studies, Cognitive flexibility, Network Model, Control Systems

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

    Mixed · Course · 1 - 4 Weeks

  • U

    Universidad de los Andes

    Fundamentos de Finanzas Empresariales

    Skills you'll gain: Financial Statement Analysis, Finance, Financial Analysis, Income Statement, Capital Budgeting, Balance Sheet, Financial Modeling, Financial Management, Business Mathematics, Corporate Finance, Return On Investment, Microsoft Excel, Investment Management, Cash Flows, Business Metrics, Loans

    4.9
    Rating, 4.9 out of 5 stars
    ·
    4.9K reviews

    Beginner · Course · 1 - 3 Months

  • C

    Coursera

    Ensure Ethical AI & Debiasing

    Skills you'll gain: Data Ethics, Responsible AI, Technical Communication, Stakeholder Communications, Model Evaluation, Data Preprocessing, Diversity Awareness, Analytical Skills, Data-Driven Decision-Making, Sampling (Statistics), Statistical Analysis, Decision Support Systems

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Level Up: Advanced SQL for Data Engineering

    Skills you'll gain: Star Schema, Data Infrastructure, Data Governance, Data Modeling, Data Strategy, Data Architecture, Data Migration, Database Design, Correlation Analysis, Stored Procedure, Data Pipelines, Data Lakes, Infrastructure as Code (IaC), Data Validation, Disaster Recovery, Role-Based Access Control (RBAC), Compliance Auditing, CI/CD, Resource Management, Performance Management

    Advanced · Specialization · 3 - 6 Months

  • E

    Edureka

    Prompt Engineering for LLMs

    Skills you'll gain: Prompt Engineering, Multimodal Prompts, Prompt Patterns, Prompt Engineering Tools, LLM Application, LangChain, Large Language Modeling, Responsible AI, Generative AI Agents, OpenAI, Generative AI, AI Personalization, Context Management, Natural Language Processing, CI/CD, Python Programming, Pandas (Python Package), Scalability, Application Development, Safety and Security

    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

  • G

    Google Cloud

    Déployer et adapter des modèles d'IA avec Cloud Run

    Skills you'll gain: Google Cloud Platform, Model Deployment, Generative AI, Serverless Computing, Cloud Deployment, Application Deployment, Containerization, Performance Tuning, Machine Learning Methods, Scalability

    Beginner · Course · 1 - 4 Weeks

  • S

    SkillUp

    Customer Identification Program - US

    Skills you'll gain: Compliance Training, Financial Regulation, Personally Identifiable Information, Workflow Management, Fraud detection, Data Validation, Financial Systems, Data Collection, Finance

    Beginner · Course · 1 - 4 Weeks

1…313233…383

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

  • Microsoft Business Analyst: Microsoft
  • GenAI Ops: Running Powerful Generative AI Systems: Coursera
  • Evaluating LLM Performance and Efficiency: Coursera
  • RAG Systems in Practice: Edureka
  • Pensamiento sistémico: Universidad Nacional Autónoma de México
  • Fundamentos de Finanzas Empresariales : Universidad de los Andes
  • Ensure Ethical AI & Debiasing: Coursera
  • Level Up: Advanced SQL for Data Engineering: Coursera
  • Prompt Engineering for LLMs: Edureka
  • Evaluate Total Costs for Optimal Procurement: 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