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

Results for "model checking"


  • Status: New
    New
    C

    Creo Incubator

    Financial Literacy & Fundraising Readiness

    Skills you'll gain: Entrepreneurial Finance, Accounting, Financial Analysis, Financial Statements, Mergers & Acquisitions, Financial Modeling, Business Valuation, Financial Forecasting, Investments, Entrepreneurship, Fundraising

    Intermediate · Course · 1 - 4 Weeks

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

    Coursera

    Optimize AI: Build Fast Efficient Pipelines

    Skills you'll gain: Dataflow, Performance Testing, Application Performance Management, Data Pipelines, MLOps (Machine Learning Operations), Data Flow Diagrams (DFDs), Computational Thinking, Data Processing, Data Manipulation

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    Status: AI skills
    AI skills
    M

    Microsoft

    Microsoft Business Analyst

    Skills you'll gain: Microsoft Power Platform, Excel Formulas, Process Flow Diagrams, Business Process Modeling, User Story, Business Requirements, Stakeholder Management, Data Modeling, Microsoft Excel, Software Development Life Cycle, Requirements Analysis, Requirements Elicitation, Quality Management, Diagram Design, Pivot Tables And Charts, Microsoft Visio, Power BI, Microsoft Power Automate/Flow, Business Analysis, Data Analysis

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

    Beginner · Professional Certificate · 3 - 6 Months

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

    Coursera

    Optimizing AI Workflows and Deploying Edge Models

    Skills you'll gain: PyTorch (Machine Learning Library), Model Evaluation, Model Deployment, MLOps (Machine Learning Operations), AI Workflows, Tensorflow, Dataflow, Performance Tuning, Deep Learning, Data Pipelines, Grafana, Artificial Neural Networks, Data Processing, Resource Utilization, Performance Analysis, Performance Metric, Data Manipulation, Debugging

    Intermediate · Course · 1 - 3 Months

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

    Coursera

    Analyze Financial Data: Reconciliation Fast

    Skills you'll gain: Reconciliation, Financial Data, Financial Reporting, Financial Analysis, Variance Analysis, General Ledger, Financial Acumen, Data Analysis, Pivot Tables And Charts, Business Reporting, Analytical Skills, Spreadsheet Software, Data Validation, Profit and Loss (P&L) Management, Data Integrity, Data Warehousing

    Intermediate · Course · 1 - 4 Weeks

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

    University of Miami

    Additive Manufacturing Scientific Concepts and Applications

    Skills you'll gain: Manufacturing Processes, Materials science, Product Engineering, Mechanical Engineering, Engineering, Automation, Manufacturing Operations, Biomedical Engineering, Manufacturing and Production, Emerging Technologies, 3D Modeling, Prototyping, Artificial Intelligence, Biotechnology, Machine Learning

    Beginner · Specialization · 1 - 3 Months

  • Status: New
    New
    P

    Packt

    Mastering Python Design Patterns

    Skills you'll gain: Software Architecture, Software Design Patterns, Software Design, Microservices, Maintainability, Performance Tuning, Model View Controller, Programming Principles, Python Programming, Object Oriented Programming (OOP)

    Intermediate · Course · 1 - 3 Months

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

    Pragmatic AI Labs

    Next-Gen AI Development with Hugging Face

    Skills you'll gain: Prompt Engineering, Hugging Face, Model Deployment, MLOps (Machine Learning Operations), CI/CD, Continuous Deployment, Model Evaluation, Applied Machine Learning, Continuous Integration, Transfer Learning, Data Processing, Data Preprocessing, Image Analysis, Large Language Modeling, Rust (Programming Language), Natural Language Processing, Generative AI, AI Orchestration, Data Validation, Cloud Deployment

    Beginner · Specialization · 3 - 6 Months

  • Status: New
    New
    Status: Preview
    Preview
    D

    Dr. Jonathan Reichental

    Governing Data in the Intelligence Age

    Skills you'll gain: Data Governance, Data Management, Governance, Data Ethics, Data Quality, Data Dictionary, Governance Risk Management and Compliance, Data Modeling, Data Integrity, Data Security, General Data Protection Regulation (GDPR), Responsible AI, Information Privacy, Risk Management, Data Transformation, Regulatory Compliance, Data Science, Data Pipelines, Cyber Security Policies, Cybersecurity

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    S

    Stanford University

    Social and Economic Networks: Models and Analysis

    Skills you'll gain: Social Network Analysis, Network Analysis, Sociology, Socioeconomics, Economics, Policy, and Social Studies, Game Theory, Mathematical Modeling, Statistical Modeling, Markov Model, Bayesian Statistics, Probability, Simulations

    4.8
    Rating, 4.8 out of 5 stars
    ·
    759 reviews

    Advanced · Course · 1 - 3 Months

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

    Coursera

    Design & Optimize SQL Database Schemas

    Skills you'll gain: Database Design, Database Development, SQL, Database Architecture and Administration, Data Modeling, Database Management, Technical Documentation

    Advanced · Course · 1 - 4 Weeks

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

    Coursera

    Geospatial Visualization, Cloud & Real-Time Pipelines

    Skills you'll gain: Leaflet (Software), Data Visualization, Interactive Data Visualization, Data Presentation, Spatial Data Analysis, Heat Maps, Data Visualization Software, GIS Software, Geographic Information Systems, Metadata Management, Spatial Analysis, Color Theory, Design, Technical Documentation, Global Positioning Systems, Data Validation, Geospatial Mapping, Apache Airflow, Extract, Transform, Load, Cloud Computing

    Intermediate · Specialization · 3 - 6 Months

1…424344…385

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

  • Financial Literacy & Fundraising Readiness: Creo Incubator
  • Optimize AI: Build Fast Efficient Pipelines: Coursera
  • Microsoft Business Analyst: Microsoft
  • Optimizing AI Workflows and Deploying Edge Models: Coursera
  • Analyze Financial Data: Reconciliation Fast: Coursera
  • Additive Manufacturing Scientific Concepts and Applications: University of Miami
  • Mastering Python Design Patterns: Packt
  • Next-Gen AI Development with Hugging Face: Pragmatic AI Labs
  • Governing Data in the Intelligence Age: Dr. Jonathan Reichental
  • Social and Economic Networks: Models and Analysis: Stanford University

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