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

Results for "model checking"


  • Status: Preview
    Preview
    A

    Arm

    Getting Started with Machine Learning at the Edge on Arm

    Skills you'll gain: Embedded Systems, Tensorflow, Data Preprocessing, Artificial Intelligence and Machine Learning (AI/ML), Artificial Neural Networks, Machine Learning Algorithms, Convolutional Neural Networks, Computer Vision, Deep Learning, Image Analysis, Machine Learning, Model Deployment, Model Evaluation, Performance Tuning

    4.2
    Rating, 4.2 out of 5 stars
    ·
    9 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    P

    Packt

    CompTIA Network+ (N10-008)

    Skills you'll gain: Network Security, Remote Access Systems, Disaster Recovery, OSI Models, General Networking, Network Administration, Network Troubleshooting, Computer Networking, Network Architecture, Network Infrastructure, Networking Hardware, Network Monitoring, TCP/IP, Virtual Private Networks (VPN), Network Protocols, Cybersecurity, Computer Security, Data Centers, Virtualization, Authentications

    4.8
    Rating, 4.8 out of 5 stars
    ·
    23 reviews

    Intermediate · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    S

    Scrimba

    Advanced JavaScript

    Skills you'll gain: Ajax, Object Oriented Programming (OOP), Javascript, JSON, Application Programming Interface (API), Scripting, Software Design Patterns, Data Management, Data Structures, Event-Driven Programming, Data Validation, Prototyping, Computational Logic, Maintainability, Programming Principles, Web Development, Software Development, Debugging, Software Engineering, Performance Tuning

    4.6
    Rating, 4.6 out of 5 stars
    ·
    18 reviews

    Intermediate · Specialization · 1 - 3 Months

  • H

    HEC Paris

    CAPSTONE: Your Leadership Challenge

    Skills you'll gain: Storytelling, Leadership, Self-Awareness, Relationship Building, Strategic Leadership, Accountability, Resilience, Personal Development, Business Leadership, Organizational Leadership, Professional Development, Innovation, Presentations, Forecasting, Analysis

    4.7
    Rating, 4.7 out of 5 stars
    ·
    79 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of California, Irvine

    Salesforce Integration

    Skills you'll gain: Salesforce, Data Quality, Data Modeling, Data Integration, Business Process Automation, Data Cleansing, Data Management, Business Process, User Accounts, Dashboard, Data Import/Export, Automation, Identity and Access Management, Business Reporting, Data Security, Cloud Computing

    4
    Rating, 4 out of 5 stars
    ·
    24 reviews

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Build an expense tracker app in Django

    Skills you'll gain: Django (Web Framework), Web Applications, Back-End Web Development, Expense Management, Application Development, Database Application, Data Visualization, Business Process Automation, Chart.js, Python Programming, Data Modeling, Data Security, GitHub, Javascript, Git (Version Control System)

    4.1
    Rating, 4.1 out of 5 stars
    ·
    7 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Preview
    Preview
    J

    Johns Hopkins University

    Gestion de l’analyse des données

    Skills you'll gain: Data Analysis, Analytical Skills, Data Management, Exploratory Data Analysis, Statistical Reporting, Data-Driven Decision-Making, Trend Analysis, Data Presentation, Data Collection, Statistical Modeling, Data Validation, Statistical Inference, Model Evaluation, Communication

    4.5
    Rating, 4.5 out of 5 stars
    ·
    10 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    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

  • Status: Free Trial
    Free Trial
    D

    Duke University

    Digital Transformation for Agile Organizations

    Skills you'll gain: Digital Transformation, Operational Efficiency, Technology Strategies, Business Modeling, Business Technologies, Organizational Change, Innovation, Agile Methodology, Leadership, Business Strategies, Market Dynamics

    4.6
    Rating, 4.6 out of 5 stars
    ·
    40 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Introduction to Javascript and Ajax: Building Web Apps

    Skills you'll gain: Javascript, Ajax, JSON, Web Applications, Web Development, Scripting, Hypertext Markup Language (HTML), Object Oriented Programming (OOP), Event-Driven Programming, Web Services, Programming Principles, Prototyping, Network Protocols

    4.5
    Rating, 4.5 out of 5 stars
    ·
    54 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    S

    SkillUp

    Power BI Data Analyst Associate Prep

    Skills you'll gain: Data Analysis Expressions (DAX), Dashboard, Power BI, Data Visualization, Data Transformation, Data Manipulation, Data Modeling, Data Import/Export, Data Visualization Software, Extract, Transform, Load, Data Analysis, Analytics, Data Cleansing, Performance Analysis, Data Security, Data Management

    4.3
    Rating, 4.3 out of 5 stars
    ·
    16 reviews

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Build a Machine Learning Image Classifier with Python

    Skills you'll gain: Data Preprocessing, Keras (Neural Network Library), Model Evaluation, Image Analysis, Data Manipulation, Visualization (Computer Graphics), Convolutional Neural Networks, Applied Machine Learning, Computer Vision, Jupyter, Deep Learning, Python Programming, Machine Learning

    4.1
    Rating, 4.1 out of 5 stars
    ·
    11 reviews

    Intermediate · Guided Project · Less Than 2 Hours

1…206207208…389

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

  • Getting Started with Machine Learning at the Edge on Arm: Arm
  • CompTIA Network+ (N10-008): Packt
  • Advanced JavaScript: Scrimba
  • CAPSTONE: Your Leadership Challenge: HEC Paris
  • Salesforce Integration: University of California, Irvine
  • Build an expense tracker app in Django: Coursera
  • Gestion de l’analyse des données: Johns Hopkins University
  • LLM Engineering: Prompting, Fine-Tuning, Optimization & RAG: Edureka
  • Digital Transformation for Agile Organizations: Duke University
  • Introduction to Javascript and Ajax: Building Web Apps: Johns Hopkins 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