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

Results for "model checking"


  • C

    Coursera

    Architect AI Systems: From Concept to Code

    Skills you'll gain: Systems Architecture, AI Workflows, Process Modeling, Model Based Systems Engineering, System Design and Implementation, Systems Analysis, Enterprise Modeling, Model Training, Diagram Design, Dataflow, MLOps (Machine Learning Operations), Requirements Management

    Intermediate · Course · 1 - 4 Weeks

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • D

    DeepLearning.AI

    TensorFlow: Advanced Techniques

    Skills you'll gain: Generative Adversarial Networks (GANs), Autoencoders, Generative AI, Tensorflow, Computer Vision, Image Analysis, Transfer Learning, Convolutional Neural Networks, Generative Model Architectures, Fine-tuning, Deep Learning, Keras (Neural Network Library), Model Training, Model Optimization, Applied Machine Learning, Artificial Neural Networks, Classification Algorithms, Model Evaluation, Distributed Computing, Visualization (Computer Graphics)

    ★ 4.8 (1.7K) · Intermediate · Specialization · 3 - 6 Months

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • B

    Board Infinity

    Transformers and NLP: Fine-Tuning Models with Hugging Face

    Skills you'll gain: Model Evaluation, Fine-tuning, Model Optimization, Hugging Face, Model Deployment, Model Training, Transfer Learning, Natural Language Processing, MLOps (Machine Learning Operations), Large Language Modeling, Performance Tuning, Generative Model Architectures, Application Deployment, Data Preprocessing, Data Pipelines, Embeddings, Version Control, Git (Version Control System)

    Advanced · Course · 1 - 4 Weeks

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • U

    University of Michigan

    Using Databases with Python

    Skills you'll gain: Database Design, Relational Databases, SQL, Databases, Data Visualization Software, Web Scraping, Data Modeling, Object Oriented Programming (OOP), Data Processing, Geographic Information Systems, Python Programming, Application Programming Interface (API)

    ★ 4.8 (22K) · Beginner · Course · 1 - 3 Months

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • I

    IBM

    Introduction to Cybersecurity Tools & Cyberattacks

    Skills you'll gain: Malware Protection, Identity and Access Management, Incident Response, Cybersecurity, Computer Security Incident Management, Network Security, Threat Management, Cyber Attacks, Authentications, Distributed Denial-Of-Service (DDoS) Attacks, Security Awareness, Digital Forensics, Security Controls, Cyber Security Policies, Infrastructure Security, Multi-Factor Authentication, Human Factors (Security)

    ★ 4.6 (17K) · Beginner · Course · 1 - 3 Months

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • U

    University of Pennsylvania

    Introduction to Corporate Finance

    Skills you'll gain: Return On Investment, Capital Budgeting, Finance, Financial Forecasting, Forecasting, Cash Flow Forecasting, Financial Modeling, Financial Analysis, Financial Planning, Corporate Finance, Business Valuation, Cash Flows, Risk Analysis, Loans

    ★ 4.6 (6.4K) · Mixed · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • C

    Coursera

    Build & Optimize TensorFlow ML Workflows

    Skills you'll gain: Tensorflow, Model Optimization, Keras (Neural Network Library), Model Training, MLOps (Machine Learning Operations), Data Pipelines, Performance Tuning, Data Preprocessing

    Intermediate · Course · 1 - 4 Weeks

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • K

    KodeKloud

    Deploy ML Models to Production

    Skills you'll gain: AWS SageMaker, Model Deployment, MLOps (Machine Learning Operations), Data Governance, Data Management, Model Training, Data Security, Amazon Web Services, Application Deployment, General Data Protection Regulation (GDPR), Model Optimization, Information Privacy

    Beginner · Course · 1 - 4 Weeks

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • C

    Coursera

    Unlock Multimodal Search

    Skills you'll gain: Vector Databases, Image Analysis, Applied Machine Learning, Embeddings, Docker (Software), Data Import/Export, Containerization, Retrieval-Augmented Generation, Query Languages, Model Evaluation, Database Design, Data Modeling, Verification And Validation

    Intermediate · Course · 1 - 4 Weeks

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • E

    Erasmus University Rotterdam

    Econometrics: Methods and Applications

    Skills you'll gain: Econometrics, Time Series Analysis and Forecasting, Regression Analysis, Logistic Regression, Statistical Methods, Data Analysis, Economics, Trend Analysis, Statistical Analysis, Statistical Modeling, Statistics, Predictive Analytics, Case Studies, Forecasting, Statistical Inference, Estimation, Model Evaluation, Statistical Hypothesis Testing, Probability, Linear Algebra

    ★ 4.6 (1.2K) · Mixed · Course · 1 - 3 Months

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • J

    Johns Hopkins University

    Business Analytics with Excel

    Skills you'll gain: Risk Modeling, Operations Research, Regression Analysis, Network Model, Resource Allocation, Excel Macros, Business Analytics, Decision Making, Risk Analysis, Simulation and Simulation Software, Microsoft Excel, Business Risk Management, Strategic Decision-Making, Business Modeling, Financial Modeling, Data-Driven Decision-Making, Excel Formulas, Business, Spreadsheet Software, Data Analysis

    ★ 4.8 (4.1K) · Beginner · Specialization · 3 - 6 Months

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • M

    Michigan State University

    Photography Basics and Beyond: From Smartphone to DSLR

    Skills you'll gain: Design Elements And Principles, Photography, Photo Editing, Peer Review, Design, Post-Production, Image Quality, Photo/Video Production and Technology, File Management, Visual Storytelling, Creative Design, Creativity, Digital Publishing, Web Presence, Social Media, Storytelling, Copywriting, Information Privacy, Writing, Web Design and Development

    ★ 4.7 (6.7K) · Beginner · Specialization · 3 - 6 Months

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
1…262728…426

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

  • Architect AI Systems: From Concept to Code: Coursera
  • TensorFlow: Advanced Techniques: DeepLearning.AI
  • Transformers and NLP: Fine-Tuning Models with Hugging Face: Board Infinity
  • Using Databases with Python: University of Michigan
  • Introduction to Cybersecurity Tools & Cyberattacks: IBM
  • Introduction to Corporate Finance: University of Pennsylvania
  • Build & Optimize TensorFlow ML Workflows: Coursera
  • Deploy ML Models to Production: KodeKloud
  • Unlock Multimodal Search: Coursera
  • Econometrics: Methods and Applications: Erasmus University Rotterdam

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