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

Results for "model checking"


  • Status: Preview
    Preview
    I

    Institut Mines-Télécom

    Fabrication additive : l'impression 3D dans l'industrie

    Skills you'll gain: Manufacturing Processes, Manufacturing Operations, Safety Standards, 3D Modeling, Industrial Engineering, Production Process, Materials science, Mechanical Design, Computer-Aided Design, Mechanical Engineering, Environment Health And Safety, Process Control, Environmental Issue, Product Development, Quality Assurance, Prototyping

    4.9
    Rating, 4.9 out of 5 stars
    ·
    8 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Decoding AI: A Deep Dive into AI Models and Predictions

    Skills you'll gain: Generative AI, Model Evaluation, Data Ethics, Data Analysis, Data-Driven Decision-Making, Data Literacy, AI Enablement, Artificial Intelligence, Big Data, Machine Learning, Social Impact

    4.8
    Rating, 4.8 out of 5 stars
    ·
    26 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    I

    Illinois Tech

    Introduction to Open Source Application Development

    Skills you'll gain: Unified Modeling Language, File I/O, Debugging, Object Oriented Programming (OOP), Python Programming, Computer Programming, System Programming, Pseudocode, Program Development, Event-Driven Programming, Software Design, User Interface (UI), Data Structures

    Build toward a degree

    4.7
    Rating, 4.7 out of 5 stars
    ·
    21 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    D

    Dartmouth College

    Predictive Analytics

    Skills you'll gain: Business Ethics, Predictive Analytics, Advanced Analytics, Scikit Learn (Machine Learning Library), Model Evaluation, Digital Transformation, Data-Driven Decision-Making, Feature Engineering, Applied Machine Learning, Big Data, Regression Analysis, Python Programming, Cloud Computing, Data Quality, Model Deployment, Classification Algorithms, Artificial Neural Networks

    Intermediate · Course · 1 - 3 Months

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

    University of London

    Mathematical Foundations for Computing

    Skills you'll gain: Theoretical Computer Science, Computational Logic, Programming Principles, Computer Science, Algorithms, Computational Thinking, Database Theory, Mathematical Modeling, Data Structures, General Mathematics, Applied Mathematics, Business Mathematics, Advanced Mathematics, Logical Reasoning, Problem Solving

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Intrusion Detection

    Skills you'll gain: Intrusion Detection and Prevention, Model Evaluation, Incident Response, Threat Detection, Endpoint Detection and Response, Computer Security Incident Management, Cyber Threat Hunting, Distributed Denial-Of-Service (DDoS) Attacks, Cybersecurity, Anomaly Detection, Cyber Security Strategy, Threat Management, Continuous Monitoring, Cyber Security Policies, Security Management, System Monitoring, AI Security, Virtual Machines, Network Analysis, Data Analysis

    4.7
    Rating, 4.7 out of 5 stars
    ·
    7 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: New
    New
    Status: Preview
    Preview
    A

    Amazon Web Services

    AWS Generative AI Essentials

    Skills you'll gain: Prompt Engineering, Amazon Bedrock, Model Context Protocol, AI Security, AI Workflows, AI Orchestration, Generative AI, Vibe coding, Secure Coding, LLM Application, Responsible AI, Amazon Web Services, Integrated Development Environments

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado System

    Nonlinear Kalman Filters (and Parameter Estimation)

    Skills you'll gain: Estimation, Applied Mathematics, Numerical Analysis, Mathematical Modeling, Control Systems, Mathematical Software, Simulation and Simulation Software, Model Evaluation, Derivatives, Calculus, Computer Programming Tools

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Diabetes Prediction With Pyspark MLLIB

    Skills you'll gain: Data Preprocessing, Logistic Regression, Data Cleansing, Apache Spark, PySpark, Data Manipulation, Applied Machine Learning, Classification And Regression Tree (CART), Data Science, Machine Learning, Google Cloud Platform, Python Programming

    4.6
    Rating, 4.6 out of 5 stars
    ·
    22 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    I

    Infosec

    Laravel: Configure, Validate, Authenticate and Authorize

    Skills you'll gain: Secure Coding, Application Security, Authorization (Computing), Authentications, Data Validation, Role-Based Access Control (RBAC), Verification And Validation, Security Controls, User Accounts, Configuration Management, Package and Software Management, Cybersecurity, Data Loss Prevention, Identity and Access Management, Software Installation, Middleware, Debugging, Computer Programming, Information Technology, Dependency Analysis

    4.6
    Rating, 4.6 out of 5 stars
    ·
    19 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    E

    EDUCBA

    Security and Auditing in Ethereum

    Skills you'll gain: Secure Coding, Penetration Testing, Security Testing, Application Security, Cyber Security Assessment, Payment Systems, Continuous Monitoring, Blockchain, Incident Response, Vulnerability Scanning, Code Review, Data Validation

    4.8
    Rating, 4.8 out of 5 stars
    ·
    30 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    E

    Erasmus University Rotterdam

    Reputation Crisis? Facebook meets Cambridge Analytica

    Skills you'll gain: Corporate Communications, Crisis Management, Business Ethics, Case Studies, Social Media Management, Facebook, Policy Analysis, Data Ethics, Leadership, Information Privacy, Stakeholder Analysis

    4.5
    Rating, 4.5 out of 5 stars
    ·
    14 reviews

    Intermediate · Course · 1 - 3 Months

1…232233234…390

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

  • Fabrication additive : l'impression 3D dans l'industrie: Institut Mines-Télécom
  • Decoding AI: A Deep Dive into AI Models and Predictions: University of Michigan
  • Introduction to Open Source Application Development: Illinois Tech
  • Predictive Analytics: Dartmouth College
  • Mathematical Foundations for Computing: University of London
  • Intrusion Detection: Johns Hopkins University
  • AWS Generative AI Essentials: Amazon Web Services
  • Nonlinear Kalman Filters (and Parameter Estimation): University of Colorado System
  • Diabetes Prediction With Pyspark MLLIB: Coursera
  • Laravel: Configure, Validate, Authenticate and Authorize: Infosec

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