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

Results for "model checking"


  • U

    University of Michigan

    Using Databases with Python

    Skills you'll gain: Database Design, Relational Databases, SQL, Databases, Data Visualization Software, Web Scraping, Data Modeling, Object Oriented Programming (OOP), Data Processing, Geographic Information Systems, Python Programming, Application Programming Interface (API)

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

    Beginner · Course · 1 - 3 Months

  • P

    Packt

    Segment Routing in MPLS Networks

    Skills you'll gain: Multiprotocol Label Switching, Routing Protocols, Network Routing, Network Troubleshooting, Network Performance Management, Network Routers, Network Infrastructure, Network Planning And Design, Computer Networking, Network Protocols, Network Engineering, Network Model, Telecommunications, Verification And Validation

    Intermediate · Course · 3 - 6 Months

  • E

    Edureka

    LLM Engineering: Prompting, Fine-Tuning, Optimization & RAG

    Skills you'll gain: Retrieval-Augmented Generation, Prompt Engineering, Multimodal Prompts, Prompt Patterns, Prompt Engineering Tools, LLM Application, Model Evaluation, LangChain, Large Language Modeling, Hugging Face, Transfer Learning, Model Deployment, Responsible AI, Performance Tuning, AI Workflows, Generative AI, LangGraph, Embeddings, Context Management, Vector Databases

    Intermediate · Specialization · 3 - 6 Months

  • U

    University at Buffalo

    Blockchain Basics

    Skills you'll gain: Blockchain, Cryptography, Transaction Processing, Network Protocols, Encryption, Data Structures, Distributed Computing, Virtual Environment, Data Integrity, Emerging Technologies, Data Validation, Algorithms, Verification And Validation

    4.6
    Rating, 4.6 out of 5 stars
    ·
    7.8K reviews

    Beginner · Course · 1 - 4 Weeks

  • U

    University of Washington

    Computational Neuroscience

    Skills you'll gain: Network Model, Supervised Learning, Machine Learning Algorithms, Artificial Neural Networks, Reinforcement Learning, Matlab, Mathematical Modeling, Computational Thinking, Recurrent Neural Networks (RNNs), Applied Mathematics, Physiology, Biology, Linear Algebra, Differential Equations, Probability & Statistics

    4.6
    Rating, 4.6 out of 5 stars
    ·
    1.1K reviews

    Beginner · Course · 1 - 3 Months

  • R

    Rice University

    Business Statistics and Analysis

    Skills you'll gain: Statistical Hypothesis Testing, Microsoft Excel, Statistical Methods, Pivot Tables And Charts, Regression Analysis, Statistics, Descriptive Statistics, Probability & Statistics, Graphing, Spreadsheet Software, Probability Distribution, Business Analytics, Statistical Modeling, Statistical Analysis, Statistical Inference, Excel Formulas, Data Analysis, Data Presentation, Model Evaluation, Sample Size Determination

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

    Beginner · Specialization · 3 - 6 Months

  • U

    Università Bocconi

    Management of Fashion and Luxury Companies

    Skills you'll gain: Retail Store Operations, Brand Management, Case Studies, Global Marketing, Brand Marketing, Communication Strategies, Business Management, Business Modeling, Business Strategy, New Business Development, E-Commerce, Consumer Behaviour, Market Trend, Product Development

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

    Mixed · Course · 1 - 3 Months

  • U

    University of Colorado Boulder

    Everyday Excel

    Skills you'll gain: Microsoft Excel, Regression Analysis, Data Validation, Excel Formulas, Data Management, Data Visualization, Spreadsheet Software, Statistical Modeling, Data Cleansing, Financial Analysis, Predictive Modeling, Data Analysis Expressions (DAX), Financial Modeling, Analysis, Data Integrity, Mathematical Modeling, Productivity Software, Complex Problem Solving, Financial Forecasting, Problem Solving

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

    Beginner · Specialization · 3 - 6 Months

  • C

    Coursera

    Optimize Deep Learning Models for Peak AI

    Skills you'll gain: Model Evaluation, Deep Learning, Performance Tuning, Applied Machine Learning, Performance Improvement, Artificial Intelligence and Machine Learning (AI/ML), Performance Analysis

    Intermediate · Course · 1 - 4 Weeks

  • G

    Google Cloud

    Data Engineering, Big Data, and Machine Learning on GCP

    Skills you'll gain: Model Deployment, Feature Engineering, PySpark, Data Import/Export, Big Data, Apache Spark, Dashboard, Data Architecture, Data Governance, Apache Kafka, Cloud Deployment, Apache Hadoop, Metadata Management, Data Storage, Apache Hive, Application Programming Interface (API), Data Quality, Data Cleansing, Applied Machine Learning, Cloud Services

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

    Intermediate · Specialization · 3 - 6 Months

  • C

    Coursera

    Ensure Ethical AI & Debiasing

    Skills you'll gain: Data Ethics, Responsible AI, Technical Communication, Stakeholder Communications, Model Evaluation, Data Preprocessing, Diversity Awareness, Analytical Skills, Data-Driven Decision-Making, Sampling (Statistics), Statistical Analysis, Decision Support Systems

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Building Automated Data Pipelines with Spark,dbt,and Airflow

    Skills you'll gain: Data Flow Diagrams (DFDs), Apache Airflow, Data Pipelines, Data Modeling, Data Integration, Data Architecture, Data Warehousing, Apache Spark, Extract, Transform, Load, Database Development, Data Processing, Data Transformation, Data Quality, Data Validation, Configuration Management, Enterprise Security

    Beginner · Course · 1 - 3 Months

1…293031…383

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

  • Using Databases with Python: University of Michigan
  • Segment Routing in MPLS Networks: Packt
  • LLM Engineering: Prompting, Fine-Tuning, Optimization & RAG: Edureka
  • Blockchain Basics: University at Buffalo
  • Computational Neuroscience: University of Washington
  • Business Statistics and Analysis: Rice University
  • Management of Fashion and Luxury Companies: Università Bocconi
  • Everyday Excel: University of Colorado Boulder
  • Optimize Deep Learning Models for Peak AI: Coursera
  • Data Engineering, Big Data, and Machine Learning on GCP: Google Cloud

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