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

Results for "model checking"


  • C

    Coursera

    Error-Free Healthcare Data Entry

    Skills you'll gain: Data Integrity, Data Quality, Data Validation, Data Entry, Health Information Management, Quality Assurance, Medical Records, Patient Safety, Electronic Medical Record System, Regulatory Compliance

    Beginner · Course · 1 - 4 Weeks

  • E

    Edureka

    Data Engineering Workflow Orchestration with Airflow

    Skills you'll gain: Apache Airflow, CI/CD, Data Pipelines, Workflow Management, Site Reliability Engineering, Data Engineering, Extract, Transform, Load, Model Deployment, Data Quality, Version Control, PostgreSQL, Git (Version Control System), Python Programming, Debugging, SQL, Production Management, Scheduling, Unit Testing, Linux Commands, Web Servers

    Intermediate · Course · 1 - 4 Weeks

  • M

    Microsoft

    Microsoft Power BI and Power Platform for Productivity

    Skills you'll gain: Extract, Transform, Load, Star Schema, Microsoft Power Platform, Data Analysis Expressions (DAX), Data Storytelling, Microsoft Power Automate/Flow, Dashboard, Microsoft Excel, Excel Formulas, Power BI, Data-Driven Decision-Making, Microsoft Copilot, Data Presentation, No-Code Development, Data Transformation, Data Literacy, Data Modeling, Data Visualization, Data Analysis, Business Intelligence

    4.4
    Rating, 4.4 out of 5 stars
    ·
    771 reviews

    Beginner · Specialization · 3 - 6 Months

  • C

    Coursera

    Forecast Sales with Power BI

    Skills you'll gain: Financial Forecasting, Power BI, Model Evaluation, Marketing Budgets, Sales Strategy, Predictive Modeling, Forecasting, Data-Driven Decision-Making, Case Studies, Interactive Data Visualization, Business Modeling, Business Intelligence

    Intermediate · Course · 1 - 4 Weeks

  • M

    Microsoft

    Microsoft AI & ML Engineering

    Skills you'll gain: Unsupervised Learning, Model Deployment, Generative AI, Large Language Modeling, Data Management, Natural Language Processing, MLOps (Machine Learning Operations), Supervised Learning, Microsoft Azure, Deep Learning, Artificial Intelligence and Machine Learning (AI/ML), Generative Adversarial Networks (GANs), Infrastructure Architecture, LLM Application, Responsible AI, Generative AI Agents, Applied Machine Learning, Azure DevOps, Reinforcement Learning, Data Preprocessing

    4.5
    Rating, 4.5 out of 5 stars
    ·
    349 reviews

    Intermediate · Professional Certificate · 3 - 6 Months

  • J

    Johns Hopkins University

    Data Science: Statistics and Machine Learning

    Skills you'll gain: Shiny (R Package), Rmarkdown, Model Evaluation, Regression Analysis, Exploratory Data Analysis, Statistical Inference, Predictive Modeling, Statistical Hypothesis Testing, Machine Learning Algorithms, Plotly, Interactive Data Visualization, Probability & Statistics, Statistical Machine Learning, Data Presentation, Data Visualization, Statistical Analysis, Statistical Modeling, R Programming, Machine Learning, GitHub

    4.4
    Rating, 4.4 out of 5 stars
    ·
    7.2K reviews

    Intermediate · Specialization · 3 - 6 Months

  • L

    LearnQuest

    Microsoft Azure: AI, Infrastructure, and Data Solutions

    Skills you'll gain: Cloud Infrastructure, Microsoft Azure, Infrastructure As A Service (IaaS), Data Processing, Big Data, Apache Spark, Artificial Intelligence and Machine Learning (AI/ML), Databricks, Infrastructure Security, Data Pipelines, Virtual Networking, Azure DevOps, Virtual Machines, Azure Active Directory, Analytics, Active Directory, Network Security, Model Deployment, Python Programming, Role-Based Access Control (RBAC)

    4.4
    Rating, 4.4 out of 5 stars
    ·
    1.6K reviews

    Beginner · Specialization · 3 - 6 Months

  • L

    Logical Operations

    Customer Service

    Skills you'll gain: Customer Service, Customer Relationship Building, Customer Support, Customer experience improvement, Customer Complaint Resolution, Customer Retention, Customer Engagement, Greeting Customers, Communication, Interpersonal Communications, Telephone Skills, Active Listening, Conflict Management, De-escalation Techniques, Crisis Management, Crisis Intervention

    Mixed · Course · 1 - 3 Months

  • M

    Microsoft

    Microsoft Azure AI Fundamentals AI-900 Exam Prep

    Skills you'll gain: Responsible AI, Image Analysis, Anomaly Detection, Unsupervised Learning, Microsoft Azure, Natural Language Processing, Computer Vision, Artificial Intelligence, Applied Machine Learning, MLOps (Machine Learning Operations), AI Security, Regression Analysis, No-Code Development, Artificial Intelligence and Machine Learning (AI/ML), Predictive Modeling, Machine Learning, AI Workflows, Model Deployment, Classification Algorithms, Analytics

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

    Beginner · Specialization · 3 - 6 Months

  • C

    Coursera

    Analyze Budgets and Capital Structures Confidently

    Skills you'll gain: Variance Analysis, Financial Analysis, Budget Management, Strategic Decision-Making, Financial Modeling, Budgeting, Financial Statement Analysis, Financial Forecasting, Corporate Finance, Cost Management, Capital Budgeting, Risk Modeling, Spreadsheet Software, Microsoft Excel, Business Analytics, Data Analysis, Case Studies, Data-Driven Decision-Making, Risk Management

    Intermediate · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Implement RPA Bots for Social Media Monitoring

    Skills you'll gain: Robotic Process Automation, Social Media Management, Social Media, Business Process Automation, Microsoft Excel, Brand Awareness, Automation, Market Analysis, Solution Design, Marketing Automation, Secure Coding, Process Design, Image Analysis, Driving engagement, Data Import/Export, UI Components, Web Scraping, Process Flow Diagrams, Project Documentation, Data Validation

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Create Chatbots & NLP Apps

    Skills you'll gain: Retrieval-Augmented Generation, LLM Application, Natural Language Processing, Text Mining, Data-Driven Decision-Making, Usability Testing, Embeddings, Usability, Unstructured Data, Model Evaluation, Performance Metric

    Intermediate · Course · 1 - 4 Weeks

1…434445…377

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

  • Error-Free Healthcare Data Entry: Coursera
  • Data Engineering Workflow Orchestration with Airflow: Edureka
  • Microsoft Power BI and Power Platform for Productivity: Microsoft
  • Forecast Sales with Power BI: Coursera
  • Microsoft AI & ML Engineering: Microsoft
  • Data Science: Statistics and Machine Learning: Johns Hopkins University
  • Microsoft Azure: AI, Infrastructure, and Data Solutions: LearnQuest
  • Customer Service: Logical Operations
  • Microsoft Azure AI Fundamentals AI-900 Exam Prep: Microsoft
  • Analyze Budgets and Capital Structures Confidently: 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