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

Results for "model checking"


  • E

    EDUCBA

    Create and Master 3D Assets in Blender from Scratch

    Skills you'll gain: 3D Assets, 3D Modeling, Unreal Engine, Computer Graphics, Animation and Game Design, Data Import/Export, Graphical Tools, User Interface (UI), Content Management

    Beginner · Course · 1 - 3 Months

  • C

    Coursera

    Data Visualization & Business Intelligence

    Skills you'll gain: Data Storytelling, Data Presentation, Dashboard, Data Analysis Expressions (DAX), Power BI, Data Visualization, Key Performance Indicators (KPIs), Data Transformation, Data Literacy, Presentations, Data Synthesis, Usability Testing, Microsoft PowerPoint, Star Schema, Data Integration, Microsoft Excel, Business Intelligence, Data Manipulation, Data Visualization Software, Data Cleansing

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

    Beginner · Specialization · 3 - 6 Months

  • P

    Packt

    Microsoft Azure AI Fundamentals AI-900 Exam Guide

    Skills you'll gain: Responsible AI, Image Analysis, Generative AI, Machine Learning, Computer Vision, Microsoft Azure, Artificial Intelligence, Data Preprocessing, Natural Language Processing, OpenAI, Regression Analysis, AI Workflows, Model Deployment, Model Evaluation, Classification Algorithms

    Beginner · Course · 1 - 3 Months

  • C

    Coursera

    Automate Workflows Quickly

    Skills you'll gain: Stakeholder Communications, Workflow Management, Technical Communication, Stakeholder Management, Jira (Software), IT Management, Project Management, Communication Strategies, User Feedback, Information Architecture, Data Visualization, Business Process Automation, Automation, Key Performance Indicators (KPIs), Continuous Monitoring

    Intermediate · Course · 1 - 4 Weeks

  • E

    Edge Impulse

    Edge AI for Microcontrollers

    Skills you'll gain: Computer Vision, Convolutional Neural Networks, Applied Machine Learning, Embedded Software, Embedded Systems, MLOps (Machine Learning Operations), Machine Learning, Artificial Intelligence and Machine Learning (AI/ML), Artificial Intelligence, Machine Learning Methods, Anomaly Detection, AI Product Strategy, Cloud Computing, Internet Of Things, Product Engineering, Data Processing, Prototyping, Industrial Engineering, Product Development, Data Science

    4.8
    Rating, 4.8 out of 5 stars
    ·
    884 reviews

    Intermediate · Specialization · 1 - 3 Months

  • U

    University of Minnesota

    Information​ ​Systems

    Skills you'll gain: Enterprise Resource Planning, Business Systems Analysis, Systems Analysis, Requirements Analysis, Cybersecurity, Business Requirements, Business Analysis, Business Systems, Cloud Computing, Cloud Services, Change Management, Business Technologies, Information Technology, Organizational Change, Technology Strategies, Process Flow Diagrams, System Implementation, Governance, Project Management, Critical Thinking

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

    Beginner · Specialization · 3 - 6 Months

  • P

    Pragmatic AI Labs

    Large Language Models with Hugging Face

    Skills you'll gain: Prompt Engineering, Hugging Face, Generative AI, JSON

    Intermediate · Course · 1 - 4 Weeks

  • U

    University of Illinois at Urbana-Champaign

    Graduate Certificate in Strategic Leadership & Management

    Skills you'll gain: Business Strategy, Data Visualization, Data Storytelling, Management Accounting, Model Evaluation, Fund Accounting, Operations Management, Organizational Change, Audit Planning, Mergers & Acquisitions, Financial Statement Analysis, Project Closure, Risk Management, Social Determinants Of Health, Revenue Recognition, Entrepreneurship, Financial Auditing, Data Governance, Generative AI, Supply And Demand

    Credit offered

    Graduate Certificate · 6 - 12 Months

  • 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

  • U

    University of London

    Machine Learning for All

    Skills you'll gain: Data Preprocessing, Machine Learning, Artificial Intelligence, Model Evaluation, Data Analysis, Image Analysis, Data Collection, Classification Algorithms

    Build toward a degree

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

    Beginner · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Apply Python for Practical Financial Data Analysis

    Skills you'll gain: Trend Analysis, Financial Data, Market Trend, Data-Driven Decision-Making, Financial Analysis, Data Visualization, Technical Analysis, Financial Market, Matplotlib, Financial Modeling, Correlation Analysis, Pandas (Python Package), Python Programming, Data Manipulation, Jupyter, Data Structures, Data Import/Export

    Beginner · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Apply React & React Native Through Real-World Projects

    Skills you'll gain: React Redux, React Native, React.js, Application Development, Scalability, Data Validation, UI Components, Web Applications, Mobile Development, Data Persistence, Business Logic, Application Design, Front-End Web Development, Software Design, Authentications, User Interface (UI), User Experience Design, User Interface and User Experience (UI/UX) Design, User Interface (UI) Design, Node.JS

    Beginner · Specialization · 3 - 6 Months

1…676869…377

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

  • Create and Master 3D Assets in Blender from Scratch: EDUCBA
  • Data Visualization & Business Intelligence: Coursera
  • Microsoft Azure AI Fundamentals AI-900 Exam Guide: Packt
  • Automate Workflows Quickly: Coursera
  • Edge AI for Microcontrollers: Edge Impulse
  • Information​ ​Systems: University of Minnesota
  • Large Language Models with Hugging Face: Pragmatic AI Labs
  • Graduate Certificate in Strategic Leadership & Management: University of Illinois at Urbana-Champaign
  • Análisis de Datos de Google: Google
  • Machine Learning for All: University of London

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