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

Results for "model checking"


  • C

    Coursera

    Employee Attrition Prediction Using Machine Learning

    Skills you'll gain: Data Preprocessing, Data Visualization, Logistic Regression, Feature Engineering, Data Cleansing, Predictive Modeling, Scikit Learn (Machine Learning Library), Data Science, Classification And Regression Tree (CART), Applied Machine Learning, Regression Analysis, Supervised Learning, Machine Learning, Human Resources, Employee Retention, Machine Learning Algorithms

    4.5
    Rating, 4.5 out of 5 stars
    ·
    15 reviews

    Beginner · Guided Project · Less Than 2 Hours

  • Status: Preview
    Preview
    U

    Universidad de Palermo

    SQL para el desarrollo web

    Skills you'll gain: Relational Databases, SQL, Database Design, Database Management, Databases, Back-End Web Development, Data Modeling, Data Entry, Query Languages, Web Development, Data Access, Data Integrity, Information Technology

    4.6
    Rating, 4.6 out of 5 stars
    ·
    23 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    UBITS

    ¿Cómo tomar decisiones en tiempos de caos?

    Skills you'll gain: Strategic Decision-Making, Decision Making, Dealing With Ambiguity, Leadership, Crisis Management, Innovation, Strategic Leadership, Adaptability, Creative Thinking, Teamwork, Collaboration, Critical Thinking and Problem Solving

    4.9
    Rating, 4.9 out of 5 stars
    ·
    28 reviews

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    GenAI Chatbots: Create and Deploy OpenAI-Powered Chatbots

    Skills you'll gain: Retrieval-Augmented Generation, OpenAI API, LLM Application, Prompt Engineering, Model Deployment, Back-End Web Development, Restful API, Application Programming Interface (API), Web Development, User Interface (UI)

    4.2
    Rating, 4.2 out of 5 stars
    ·
    13 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    U

    University of California, Santa Cruz

    Bayesian Statistics: Capstone Project

    Skills you'll gain: Bayesian Statistics, Technical Communication, Data Presentation, R Programming, Statistical Analysis, Statistical Modeling, Data Analysis, Time Series Analysis and Forecasting, Statistical Inference, Sampling (Statistics), Model Evaluation, Probability Distribution

    4.4
    Rating, 4.4 out of 5 stars
    ·
    9 reviews

    Advanced · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    P

    Packt

    AI Engineer Professional

    Skills you'll gain: MLOps (Machine Learning Operations), Convolutional Neural Networks, Recurrent Neural Networks (RNNs), Containerization, AI Workflows, Model Evaluation, Model Deployment, Generative AI Agents, LangGraph, Keras (Neural Network Library), Transfer Learning, Artificial Intelligence and Machine Learning (AI/ML), CrewAI, BeeAI, Image Analysis, Deep Learning, Large Language Modeling, Natural Language Processing, Vision Transformer (ViT), Python Programming

    Advanced · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    P

    Pearson

    Introduction to Transformer Models for NLP

    Skills you'll gain: Vision Transformer (ViT), Prompt Engineering, PyTorch (Machine Learning Library), Model Deployment, Transfer Learning, Hugging Face, Natural Language Processing, MLOps (Machine Learning Operations), Large Language Modeling, Cloud Deployment, Computer Vision, Generative AI, Image Analysis, Application Deployment, Generative Model Architectures, Embeddings, Data Preprocessing, Model Evaluation

    Intermediate · Specialization · 1 - 4 Weeks

  • P

    Packt

    ChatGPT Mastery – Craft Prompts for Optimal Results

    Skills you'll gain: ChatGPT, Overcoming Obstacles, Responsible AI, Learning Strategies, Generative AI, Storytelling, Writing, Artificial Intelligence, Javascript

    4.7
    Rating, 4.7 out of 5 stars
    ·
    23 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Microservices Architecture for AI Systems

    Skills you'll gain: Retrieval-Augmented Generation, Model Deployment, LLM Application, LangChain, Large Language Modeling, Microservices, Test Driven Development (TDD), Software Architecture, Scalability, MLOps (Machine Learning Operations), Cloud Deployment, Cloud Computing Architecture, API Design, Site Reliability Engineering, Kubernetes, Prompt Engineering, Containerization, Infrastructure as Code (IaC), Python Programming, Performance Analysis

    Intermediate · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    T

    Tecnológico de Monterrey

    Organizational innovation and creativity

    Skills you'll gain: Design Thinking, Innovation, Creative Problem-Solving, Ideation, Process Development, Creative Thinking, New Product Development, Creativity, Lean Methodologies, Customer experience improvement, Customer Engagement, Product Lifecycle Management, Business Modeling, Value Propositions

    4.6
    Rating, 4.6 out of 5 stars
    ·
    17 reviews

    Advanced · Course · 1 - 4 Weeks

  • Status: Free
    Free
    C

    Coursera

    Введение в оценку компаний с WACC

    Skills you'll gain: Capital Budgeting, Business Valuation, Financial Analysis, Financial Modeling, Return On Investment, Financial Market, Finance, Investment Banking, Corporate Finance, Risk Management

    4.4
    Rating, 4.4 out of 5 stars
    ·
    27 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    Y

    Yonsei University

    Valuation and Financial Analysis For Startups Capstone

    Skills you'll gain: Capital Budgeting, Financial Statement Analysis, Business Valuation, Strategic Decision-Making, Financial Analysis, Entrepreneurial Finance, Financial Forecasting, Financial Management, Financial Modeling, Entrepreneurship, Market Analysis, Cash Flows, Competitive Analysis, Business Research, Company, Product, and Service Knowledge, Business Analysis

    4.2
    Rating, 4.2 out of 5 stars
    ·
    6 reviews

    Beginner · Course · 1 - 3 Months

1…224225226…389

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

  • Employee Attrition Prediction Using Machine Learning: Coursera
  • SQL para el desarrollo web: Universidad de Palermo
  • ¿Cómo tomar decisiones en tiempos de caos?: UBITS
  • GenAI Chatbots: Create and Deploy OpenAI-Powered Chatbots: Coursera
  • Bayesian Statistics: Capstone Project: University of California, Santa Cruz
  • AI Engineer Professional: Packt
  • Introduction to Transformer Models for NLP: Pearson
  • ChatGPT Mastery – Craft Prompts for Optimal Results: Packt
  • Microservices Architecture for AI Systems: Coursera
  • Organizational innovation and creativity: Tecnológico de Monterrey

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