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

Results for "model checking"


  • G

    Google Cloud

    KI-Infrastruktur: Einführung in AI Hypercomputer

    Skills you'll gain: Model Deployment, Cloud Deployment, Google Cloud Platform, Cloud Infrastructure, Infrastructure As A Service (IaaS), Cloud Computing Architecture, Cloud Computing, Model Optimization, AI Workflows, Computer Architecture, Artificial Intelligence, AI literacy, Performance Tuning, Hardware Architecture

    Intermediate · Course · 1 - 4 Weeks

    Category: New
    New
    Category: Credit offered
    Credit offered
  • C

    Coursera

    Facebook Content Creator Pro

    Skills you'll gain: Content Performance Analysis, Video Production, Content Scheduling, Meta Ads Manager, Writing, Social Media Analytics, Canva (Software), Facebook, Content Creation, Storytelling, Data-Driven Marketing, Copywriting, Online Advertising, Videography, Persona Development, Photography, Marketing Analytics, Social Media, Content Strategy, ChatGPT

    ★ 4.6 (1.8K) · Beginner · Specialization · 3 - 6 Months

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • G

    Google Cloud

    Gemini CLI로 앱 개발 가속화

    Skills you'll gain: Google Gemini, Gemini, Command-Line Interface, Code Review, Computer Programming Tools, Model Context Protocol, Secure Coding, Software Installation, Application Security, Debugging

    Beginner · Course · 1 - 4 Weeks

    Category: New
    New
    Category: Credit offered
    Credit offered
  • G

    Google Cloud

    AI 基礎架構:網路技術

    Skills you'll gain: Google Cloud Platform, AI Security, Generative AI, Cloud Infrastructure, Virtual Networking, Token Optimization, Network Infrastructure, Network Architecture, General Networking, Network Security, Data Infrastructure, Hybrid Cloud Computing, Distributed Computing, Network Performance Management, Data Migration, Model Training, Load Balancing

    Intermediate · Course · 1 - 3 Months

    Category: New
    New
    Category: Credit offered
    Credit offered
  • C

    Coursera

    Tune HNSW

    Skills you'll gain: Model Optimization, Simulations, Plot (Graphics)

    Intermediate · Course · 1 - 4 Weeks

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • U

    University of Washington

    Machine Learning: Classification

    Skills you'll gain: Classification Algorithms, Applied Machine Learning, Model Training, Logistic Regression, Supervised Learning, Predictive Modeling, Decision Tree Learning, Data Preprocessing, Model Evaluation, Machine Learning Methods, Text Mining, Machine Learning Algorithms, Scalability, Model Optimization, Risking, Machine Learning, Natural Language Processing, Algorithms

    ★ 4.7 (3.7K) · Mixed · Course · 1 - 3 Months

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • C

    Coursera

    Generate Insights with LLMs

    Skills you'll gain: LLM Application, Large Language Modeling, Prompt Engineering, Model Optimization, Business Intelligence, Business Reporting, Fine-tuning, Data Pipelines, Business Metrics, Generative AI, Cost Benefit Analysis, Performance Analysis, Performance Measurement, Model Evaluation, Key Performance Indicators (KPIs), Quality Assessment

    Intermediate · Course · 1 - 4 Weeks

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • B

    Board Infinity

    Prepare for CFA Level 1: Investment & Financial Basics

    Skills you'll gain: Financial Statement Analysis, Financial Statements, International Finance, Financial Analysis, Financial Modeling, Ethical Standards And Conduct, Business Ethics, Financial Reporting, Economics, Income Statement, Business Valuation, Decision Making, Financial Accounting, Financial Policy, Business Economics, Financial Systems, Financial Market, Investment Management, Conflict Management, Compliance Management

    Beginner · Specialization · 3 - 6 Months

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • C

    Coursera

    Board-Ready Numbers: Reporting, Dashboards, and Storytelling

    Skills you'll gain: Dashboard, Data Storytelling, Financial Modeling, Data Presentation, Dashboard Creation, Financial Auditing, Financial Forecasting, Microsoft Excel, Strategic Decision-Making, Performance Reporting, Financial Reporting, Data Visualization, Auditing, Version Control, Persuasive Communication, Financial Analysis, Variance Analysis, Business Communication, Stakeholder Communications, Root Cause Analysis

    Intermediate · Specialization · 3 - 6 Months

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • C

    Coursera

    Statistical Thinking & Predictive Modeling

    Skills you'll gain: Descriptive Statistics, Data Analysis, Predictive Modeling, Predictive Analytics, Data Literacy, Statistical Modeling, Business Analytics, Statistical Hypothesis Testing, Exploratory Data Analysis, Data-Driven Decision-Making, Customer Analysis, Statistical Machine Learning, Data Science, Model Evaluation, Scikit Learn (Machine Learning Library), Statistical Analysis, Feature Engineering, Data Visualization, Statistical Inference, Supervised Learning

    Intermediate · Course · 1 - 3 Months

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • G

    Google Cloud

    Redshift 전문가를 위한 BigQuery 기초

    Skills you'll gain: Amazon Redshift, Data Warehousing, Extract, Transform, Load, Data Modeling, SQL, Data Architecture, Big Data, Query Languages, Google Cloud Platform, Database Architecture and Administration, Database Design, Data Import/Export, Data Integration, Identity and Access Management, Data Sharing

    Intermediate · Course · 1 - 3 Months

    Category: New
    New
    Category: Credit offered
    Credit offered
  • C

    Coursera

    Deconstruct AI: Complex ML Problems

    Skills you'll gain: MLOps (Machine Learning Operations), Computational Thinking, Systems Design, Software Architecture, Data Processing, Process Modeling, Code Reusability, Solution Design, Diagram Design, Process Mapping, Data Pipelines

    Intermediate · Course · 1 - 4 Weeks

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
1…383940…426

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

  • KI-Infrastruktur: Einführung in AI Hypercomputer: Google Cloud
  • Facebook Content Creator Pro: Coursera
  • Gemini CLI로 앱 개발 가속화: Google Cloud
  • AI 基礎架構:網路技術: Google Cloud
  • Tune HNSW: Coursera
  • Machine Learning: Classification: University of Washington
  • Generate Insights with LLMs: Coursera
  • Prepare for CFA Level 1: Investment & Financial Basics: Board Infinity
  • Board-Ready Numbers: Reporting, Dashboards, and Storytelling: Coursera
  • Statistical Thinking & Predictive Modeling: 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