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

Results for "model checking"


  • Status: Free Trial
    Free Trial
    H

    Howard University

    Fundamentals of Business Problem Solving

    Skills you'll gain: Spreadsheet Software, Microsoft Excel, Data Modeling, Business Modeling, Business Analysis, Product Assortment, Price Negotiation, Business Process, Financial Modeling, Investment Management, Process Improvement and Optimization, Business Strategy, Trend Analysis

    4.7
    Rating, 4.7 out of 5 stars
    ·
    23 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    W

    Whizlabs

    Getting Started with Apache Cassandra

    Skills you'll gain: Apache Cassandra, NoSQL, Data Store, Databases, Database Management Systems, Application Deployment, Database Architecture and Administration, Query Languages, Database Management, Data Storage, System Monitoring, Data Maintenance, Distributed Computing, Application Security, Data Modeling, Data Security, Scalability

    Beginner · Course · 1 - 4 Weeks

  • Status: Free
    Free
    C

    Clemson University

    Database Management Systems

    Skills you'll gain: Database Design, Database Management Systems, MySQL, Database Theory, Relational Databases, Databases, Data Modeling, Database Architecture and Administration, SQL, NoSQL, Diagram Design

    Build toward a degree

    4.4
    Rating, 4.4 out of 5 stars
    ·
    66 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free
    Free
    D

    DeepLearning.AI

    Pretraining LLMs

    Skills you'll gain: Large Language Modeling, Model Evaluation, Hugging Face, Data Preprocessing, Transfer Learning, Generative AI

    4.6
    Rating, 4.6 out of 5 stars
    ·
    18 reviews

    Beginner · Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    C

    Corporate Finance Institute

    Tableau Fundamentals

    Skills you'll gain: Dashboard, Tableau Software, Interactive Data Visualization, Data Visualization Software, Data Presentation, Data Modeling, Data Storytelling, Data Manipulation, Data Import/Export, Business Intelligence, Data Transformation, Data Integration, Data Analysis

    4.9
    Rating, 4.9 out of 5 stars
    ·
    25 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    More Applied Data Science with Python

    Skills you'll gain: Unsupervised Learning, Data Mining, Social Network Analysis, ChatGPT, Embeddings, Bayesian Network, Machine Learning Methods, Data Science, Supervised Learning, Generative AI, Machine Learning, Anomaly Detection, Data Preprocessing, Data Analysis, Recurrent Neural Networks (RNNs), Data Manipulation, Python Programming, Exploratory Data Analysis, Machine Learning Algorithms, Classification Algorithms

    4.5
    Rating, 4.5 out of 5 stars
    ·
    15 reviews

    Advanced · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    I

    INSEAD

    Introduction to Blockchain for Global Commerce

    Skills you'll gain: Blockchain, Digital Assets, Financial Inclusion, FinTech, Emerging Technologies, E-Commerce, Cryptography, Distributed Computing, Payment Systems, Financial Services, Cryptographic Protocols, Network Security, Process Design, Data Integrity, Computer Security, Transaction Processing, Scalability, Contract Management, Governance

    4.7
    Rating, 4.7 out of 5 stars
    ·
    40 reviews

    Beginner · Course · 1 - 3 Months

  • C

    Coursera

    Support Vector Machines in Python, From Start to Finish

    Skills you'll gain: Scikit Learn (Machine Learning Library), Tensorflow, Classification Algorithms, Supervised Learning, Applied Machine Learning, Python Programming, Feature Engineering, Data Preprocessing, Data Science, Machine Learning, Model Evaluation, Data Manipulation, Data Visualization

    4.6
    Rating, 4.6 out of 5 stars
    ·
    162 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: New
    New
    Status: Free Trial
    Free Trial
    E

    Edureka

    Building Your First AI Agent with LangChain

    Skills you'll gain: Agentic Workflows, AI Orchestration, Tool Calling, Generative AI, Gemini, Artificial Intelligence, Google Gemini, Retrieval-Augmented Generation, Embeddings, Workflow Management, Python Programming, Data Validation

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Introduction to Deep Learning

    Skills you'll gain: Recurrent Neural Networks (RNNs), Artificial Intelligence and Machine Learning (AI/ML), Vision Transformer (ViT), PyTorch (Machine Learning Library), Keras (Neural Network Library), Large Language Modeling, Natural Language Processing, Embeddings, Network Model, Network Architecture

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    E

    EDUCBA

    Analyze Markets Using Technical Analysis & Chart Patterns

    Skills you'll gain: Market Data, Data Validation, Consolidation, Risk Management

    5
    Rating, 5 out of 5 stars
    ·
    13 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    I

    Indian Institute of Technology Guwahati

    Digital Manufacturing

    Skills you'll gain: SolidWorks (CAD), Computer-Aided Design, Computer Graphics, 3D Modeling, Manufacturing Processes, Mechanical Design, Robotics, Engineering Drawings, Manufacturing Operations, Visualization (Computer Graphics), Prototyping, Industrial Design, Product Engineering, Production Process, Process Development, Simulation and Simulation Software, Materials science, Automation, Process Engineering, Industrial Engineering

    4.2
    Rating, 4.2 out of 5 stars
    ·
    13 reviews

    Intermediate · Specialization · 3 - 6 Months

1…205206207…389

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

  • Fundamentals of Business Problem Solving: Howard University
  • Getting Started with Apache Cassandra: Whizlabs
  • Database Management Systems: Clemson University
  • Pretraining LLMs: DeepLearning.AI
  • Tableau Fundamentals: Corporate Finance Institute
  • More Applied Data Science with Python: University of Michigan
  • Introduction to Blockchain for Global Commerce: INSEAD
  • Support Vector Machines in Python, From Start to Finish: Coursera
  • Building Your First AI Agent with LangChain: Edureka
  • Introduction to Deep Learning: University of Colorado Boulder

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