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

Results for "model checking"


  • Status: Free Trial
    Free Trial
    M

    Macquarie University

    Cyber Security: Security of AI

    Skills you'll gain: Security Testing, Cyber Threat Intelligence, Cyber Risk, AI Integrations, Cyber Attacks, Cyber Security Assessment, Cybersecurity, IT Security Architecture, Security Controls, Threat Modeling, Security Strategy, Data Ethics, Security Engineering, Threat Detection, Data Governance, Data Security, Security Management, Information Privacy, Emerging Technologies

    4.7
    Rating, 4.7 out of 5 stars
    ·
    22 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    K

    KodeKloud

    AWS Cloud Practitioner (CLF-C02)

    Skills you'll gain: Amazon Web Services, Amazon Elastic Compute Cloud, Cloud Infrastructure, AWS Identity and Access Management (IAM), Cloud Security, Public Cloud, Cloud Computing, Cloud Management, Cloud Platforms, Cloud Services, Amazon S3, Cloud Storage, Artificial Intelligence and Machine Learning (AI/ML)

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    W

    Whizlabs

    Power BI: Data Modeling and Data Analysis

    Skills you'll gain: Power BI, Data Analysis Expressions (DAX), Data Modeling, Star Schema, Database Design, Data Security, Data Visualization Software, Spreadsheet Software, Performance Tuning, Data Access, Performance Improvement, Model Optimization, Data Manipulation

    4.8
    Rating, 4.8 out of 5 stars
    ·
    6 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Glasgow

    Fundamental MATLAB Programming for AI

    Skills you'll gain: Matlab, Data Visualization, Model Optimization, Scientific Visualization, Artificial Intelligence and Machine Learning (AI/ML), Mathematical Software, Data Literacy, Data Wrangling, Data Preprocessing, Mathematical Modeling, Engineering Analysis

    4.9
    Rating, 4.9 out of 5 stars
    ·
    76 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    P

    Packt

    Networking Fundamentals and Protocols

    Skills you'll gain: Networking Hardware, OSI Models, Network Architecture, Network Protocols, General Networking, Network Security, TCP/IP, Computer Networking, Cloud Technologies, Network Infrastructure, Network Administration, Local Area Networks, Cloud Platforms, Network Planning And Design, Routing Protocols, Cloud Infrastructure, Virtual Private Networks (VPN), Cloud Services, Telecommunications, Wireless Networks

    4.3
    Rating, 4.3 out of 5 stars
    ·
    12 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    Universidad Nacional Autónoma de México

    Cómputo evolutivo

    Skills you'll gain: Algorithms, Model Optimization, Computational Thinking, Machine Learning Algorithms, Machine Learning Methods, Artificial Intelligence, Computer Science, Programming Principles, Program Development

    4.1
    Rating, 4.1 out of 5 stars
    ·
    22 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    D

    Duke University

    Raising Impact Investment Capital

    Skills you'll gain: Financial Modeling, Entrepreneurial Finance, Return On Investment, Due Diligence, Financial Forecasting, Social Impact, Investments, Entrepreneurship, Capital Budgeting, Philanthropy, Environmental Social And Corporate Governance (ESG), Fundraising, Negotiation, Business Modeling, Finance, Strategic Partnership, Capital Markets, Performance Measurement, Business Strategy, Growth Strategies

    4.9
    Rating, 4.9 out of 5 stars
    ·
    52 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    P

    Packt

    Backend Development and API Creation

    Skills you'll gain: Back-End Web Development, Server Side, Full-Stack Web Development, Middleware, Authentications, API Design, Application Programming Interface (API), User Accounts, Databases, JavaScript Frameworks, GitHub, Development Environment, Data Validation

    4.6
    Rating, 4.6 out of 5 stars
    ·
    39 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Calculus through Data & Modelling: Series and Integration

    Skills you'll gain: Calculus, Integral Calculus, Advanced Mathematics, Mathematical Theory & Analysis, Applied Mathematics, Numerical Analysis, Mathematical Modeling, Mathematical Software, Derivatives

    4.9
    Rating, 4.9 out of 5 stars
    ·
    58 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free
    Free
    C

    Coursera

    Deep Learning with PyTorch : GradCAM

    Skills you'll gain: PyTorch (Machine Learning Library), Model Training, Convolutional Neural Networks, Heat Maps, Model Evaluation, Image Analysis, Deep Learning, Computer Vision

    4.6
    Rating, 4.6 out of 5 stars
    ·
    21 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    P

    Pearson

    CISA Certified Information Systems Auditor

    Skills you'll gain: Enterprise Risk Management (ERM), IT Management, Business Continuity, Data Security, Business Continuity Planning, Disaster Recovery, Audit Planning, Information Technology, Risk Management, Data Validation, Compliance Management, Risk Mitigation, Data Governance, Technology Strategies, Information Assurance, Security Controls, Law, Regulation, and Compliance, Data Integrity, Project Risk Management, Auditing

    4.3
    Rating, 4.3 out of 5 stars
    ·
    24 reviews

    Intermediate · Specialization · 1 - 3 Months

  • C

    Coursera

    Interpretable machine learning applications: Part 3

    Skills you'll gain: Artificial Neural Networks, Tensorflow, Keras (Neural Network Library), Data-Driven Decision-Making, Applied Machine Learning, Machine Learning Software, Deep Learning, Machine Learning, Feature Engineering, Risking, Model Evaluation, Mortgage Loans, Consumer Lending

    4.5
    Rating, 4.5 out of 5 stars
    ·
    27 reviews

    Intermediate · Guided Project · Less Than 2 Hours

1…221222223…426

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

  • Cyber Security: Security of AI: Macquarie University
  • AWS Cloud Practitioner (CLF-C02): KodeKloud
  • Power BI: Data Modeling and Data Analysis: Whizlabs
  • Fundamental MATLAB Programming for AI: University of Glasgow
  • Networking Fundamentals and Protocols: Packt
  • Cómputo evolutivo: Universidad Nacional Autónoma de México
  • Raising Impact Investment Capital: Duke University
  • Backend Development and API Creation: Packt
  • Calculus through Data & Modelling: Series and Integration: Johns Hopkins University
  • Deep Learning with PyTorch : GradCAM: Coursera

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