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

Results for "model checking"


  • C

    Coursera

    Transformers Unleashed: Master the Architecture of Modern AI

    Intermediate · Professional Certificate · 3 - 6 Months

  • D

    DeepLearning.AI

    Sequences, Time Series and Prediction

    Skills you'll gain: Tensorflow, Recurrent Neural Networks (RNNs), Time Series Analysis and Forecasting, Applied Machine Learning, Convolutional Neural Networks, Deep Learning, Predictive Modeling, Data Preprocessing, Artificial Neural Networks, Forecasting, Machine Learning

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

    Intermediate · Course · 1 - 4 Weeks

  • G

    Google

    Análisis de Datos de Google

    Skills you'll gain: Data Storytelling, Presentations, Rmarkdown, Data Presentation, Data Cleansing, Data Visualization, Ggplot2, Data Validation, Spreadsheet Software, Data Visualization Software, Data Ethics, Data Analysis, Data-Driven Decision-Making, Tableau Software, Data Literacy, Data Processing, Dashboard, Business Analysis, Stakeholder Communications, Databases

    4.8
    Rating, 4.8 out of 5 stars
    ·
    12K reviews

    Beginner · Professional Certificate · 3 - 6 Months

  • E

    EDUCBA

    Apply Dart Programming from Fundamentals to Advanced

    Skills you'll gain: Scalability, Application Design, Event-Driven Programming, Object Oriented Programming (OOP), Functional Design, Application Development, User Flows, Computer Programming, Software Architecture, Debugging, Mobile Development, Data Validation, Data Analysis

    Beginner · Specialization · 1 - 3 Months

  • E

    EDUCBA

    Build and Manage Insurance Claims with MariaDB

    Skills you'll gain: SQL, Health Information Management, Relational Databases, Database Design, Back-End Web Development, Database Management, Databases, Web Applications, Data Validation

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Build Powerful AI Agents with OpenAI Tools

    Skills you'll gain: AI Orchestration, AI Workflows, LangGraph, Generative AI Agents, Agentic systems, OpenAI API, Model Deployment, Enterprise Application Management, Tool Calling, OAuth, Middleware, Prompt Engineering, Performance Tuning, Real Time Data, Interoperability, API Gateway, LLM Application, Agentic Workflows, Enterprise Architecture, Software Development Tools

    Intermediate · Professional Certificate · 3 - 6 Months

  • U

    University of Colorado System

    Data Warehousing for Business Intelligence

    Skills you'll gain: Database Design, Business Intelligence, Data Warehousing, Decision Support Systems, Relational Databases, Data Visualization, Data Modeling, Performance Measurement, Database Management Systems, Database Management, Dashboard, SQL, Star Schema, Operational Performance Management, Data Governance, Oracle Databases, Data Integration, MicroStrategy, Extract, Transform, Load, Business Analytics

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

    Advanced · Specialization · 3 - 6 Months

  • C

    Coursera

    ML Production Systems

    Skills you'll gain: Model Deployment, Unit Testing, MLOps (Machine Learning Operations), Test Driven Development (TDD), Software Testing, Scalability, Dashboard, Feature Engineering, Continuous Integration, Kubernetes, Scikit Learn (Machine Learning Library), CI/CD, Performance Tuning, Tensorflow, Python Programming, Software Engineering, PyTorch (Machine Learning Library), Docker (Software), Containerization, Git (Version Control System)

    Intermediate · Specialization · 1 - 3 Months

  • P

    Packt

    Vue.js 3 for Beginners: Build Modern Web Applications

    Skills you'll gain: Vue.JS, Web Components, Unit Testing, JavaScript Frameworks, Software Architecture, Software Testing, Development Testing, UI Components, Web Applications, Front-End Web Development, Web Development, Javascript, HTML and CSS, Data Validation

    Intermediate · Course · 3 - 6 Months

  • D

    DeepLearning.AI

    Natural Language Processing with Probabilistic Models

    Skills you'll gain: Natural Language Processing, Markov Model, Embeddings, Text Mining, Data Preprocessing, Artificial Neural Networks, Machine Learning Methods, Algorithms, Statistical Modeling, Probability & Statistics

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

    Intermediate · Course · 1 - 4 Weeks

  • G

    Google Cloud

    Cloud Run で AI モデルをデプロイしてスケールする

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

    Beginner · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Apply Machine Learning for Predictive Business Analytics

    Skills you'll gain: Model Evaluation, Feature Engineering, Data Preprocessing, Financial Data, Predictive Modeling, Customer Demand Planning, Data-Driven Decision-Making, Exploratory Data Analysis, R Programming, Customer Analysis, Predictive Analytics, Profit and Loss (P&L) Management, Risk Modeling, Inventory Management System, Analytics, Advanced Analytics, Supply Chain Management, Business Analytics, Machine Learning, Business

    Beginner · Specialization · 1 - 3 Months

1…363738…379

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

  • Transformers Unleashed: Master the Architecture of Modern AI: Coursera
  • Sequences, Time Series and Prediction: DeepLearning.AI
  • Análisis de Datos de Google: Google
  • Apply Dart Programming from Fundamentals to Advanced: EDUCBA
  • Build and Manage Insurance Claims with MariaDB: EDUCBA
  • Build Powerful AI Agents with OpenAI Tools: Coursera
  • Data Warehousing for Business Intelligence: University of Colorado System
  • ML Production Systems: Coursera
  • Vue.js 3 for Beginners: Build Modern Web Applications: Packt
  • Natural Language Processing with Probabilistic Models: DeepLearning.AI

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