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

Results for "model checking"


  • M

    Macquarie University

    Lymphoedema: Monitoring & Intervention After Breast Cancer

    Skills you'll gain: Patient Evaluation, Patient Treatment, Psychosocial Assessments, Care Management, Clinical Assessment, Rehabilitation, Health Assessment, Oncology, Chronic Diseases, Preventative Care, Long Term Care, Patient Education and Support, Clinical Monitoring, Physical Therapy, Physiology, Anatomy, Research

    ★ 4.9 (47) · Intermediate · Course · 1 - 3 Months

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • A

    Arizona State University

    Design for Additive Manufacturing

    Skills you'll gain: Manufacturing Processes, Engineering Design Process, Design Specifications, Design Strategies, Production Process, Design, Model Optimization

    ★ 4.8 (61) · Intermediate · Course · 1 - 4 Weeks

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

    Edureka

    Introduction to Analytics Engineering

    Skills you'll gain: SQL, Star Schema, Data Modeling, Data Quality, Data Pipelines, Database Design, Data Mart, Data Validation, Analytics, Extract, Transform, Load, Data Analysis, Data Warehousing, Data Transformation, Data Management, Technical Documentation

    Beginner · Course · 1 - 4 Weeks

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

    Packt

    Selenium Automation and Testing Frameworks

    Skills you'll gain: Selenium (Software), Test Automation, Software Testing, Test Script Development, Test Data, Browser Compatibility, Java, Cascading Style Sheets (CSS), Data Import/Export, Debugging, Maintainability

    ★ 4.4 (14) · Intermediate · Course · 1 - 3 Months

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

    Board Infinity

    Prepare for SnowPro Core Exam: Architecture & SQL

    Skills you'll gain: Snowflake Schema, Performance Tuning, Data Architecture, User Accounts, Data Warehousing, SQL, Database Architecture and Administration, Database Management, Data Modeling, Data Transformation, Data Import/Export, Cloud Computing Architecture, Data Integration, Cloud-Based Integration, Role-Based Access Control (RBAC), Data Governance, Data Security

    ★ 3 (30) · Intermediate · Course · 1 - 4 Weeks

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • U

    University of Washington

    Data Science at Scale - Capstone Project

    Skills you'll gain: Feature Engineering, Model Evaluation, Data Analysis, Model Training, Predictive Modeling, Data Wrangling, Statistics, Data Science, Data Preprocessing, Predictive Analytics, Applied Machine Learning, R Programming, Data Pipelines, Python Programming

    ★ 3.8 (26) · Mixed · Course · 1 - 3 Months

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

    Johns Hopkins University

    CUDA at Scale for the Enterprise

    Skills you'll gain: Image Analysis, Event-Driven Programming, Scalability, Dataflow, Digital Signal Processing, Distributed Computing, C++ (Programming Language), System Programming, Program Development, Performance Tuning, Data Structures, Memory Management, Algorithms

    ★ 3.3 (26) · Intermediate · Course · 1 - 3 Months

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

    Packt

    The STATA OMNIBUS: Regression and Modelling with STATA

    Skills you'll gain: Stata, STATA (Software), Regression Analysis, Statistical Modeling, Statistical Methods, Statistical Analysis, Statistical Programming, Statistical Software, Statistical Visualization, Data Visualization, Data Manipulation, Logistic Regression, Simulations, Correlation Analysis, Descriptive Statistics, Data Transformation, Graphing, Model Evaluation, Sample Size Determination

    ★ 4.5 (6) · Beginner · Course · 3 - 6 Months

    Category: Credit offered
    Credit offered
  • C

    Coursera

    LLM Optimization & Evaluation

    Skills you'll gain: Apache Airflow, MLOps (Machine Learning Operations), Fine-tuning, User Acceptance Testing (UAT), Prompt Patterns, LLM Application, AI Security, Extract, Transform, Load, Scripting, Technical Communication, SQL, Model Optimization, Data Pipelines, Data Presentation, Large Language Modeling, Python Programming, Performance Tuning, Root Cause Analysis, Statistical Analysis, Version Control

    Intermediate · Specialization · 3 - 6 Months

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

    Universidad de los Andes

    Salud mental y atención comunitaria

    Skills you'll gain: Community Mental Health Services, Mental Health, Mental and Behavioral Health, Community Health, Cultural Diversity, Crisis Intervention, Social Determinants Of Health, Diversity Awareness, Substance Abuse, Cultural Responsiveness, Motivational Interviewing, Behavioral Health, First Aid, Health Equity, Patient Education And Counseling, Health Care

    ★ 4.8 (97) · Beginner · Course · 1 - 3 Months

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • U

    University of Glasgow

    Deep learning in Electronic Health Records - CDSS 2

    Skills you'll gain: Model Optimization, Deep Learning, Model Training, Recurrent Neural Networks (RNNs), Electocardiography, Data Preprocessing, Machine Learning Methods, Artificial Neural Networks, Convolutional Neural Networks, Data Processing, Model Evaluation, Health Informatics, Electronic Medical Record, Feature Engineering, Applied Machine Learning, Time Series Analysis and Forecasting, Predictive Modeling

    ★ 4 (8) · Intermediate · Course · 1 - 4 Weeks

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

    Google Cloud

    Vertex AI Tabular Data: Qwik Start

    Skills you'll gain: Model Training, Google Cloud Platform, Model Deployment, Applied Machine Learning, Predictive Modeling, Cloud Computing, Classification Algorithms, Cloud Deployment, Predictive Analytics

    Intermediate · Project · Less Than 2 Hours

    Category: Credit offered
    Credit offered
1…198199200…425

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

  • Lymphoedema: Monitoring & Intervention After Breast Cancer: Macquarie University
  • Design for Additive Manufacturing: Arizona State University
  • Introduction to Analytics Engineering: Edureka
  • Selenium Automation and Testing Frameworks: Packt
  • Prepare for SnowPro Core Exam: Architecture & SQL: Board Infinity
  • Data Science at Scale - Capstone Project: University of Washington
  • CUDA at Scale for the Enterprise: Johns Hopkins University
  • The STATA OMNIBUS: Regression and Modelling with STATA: Packt
  • LLM Optimization & Evaluation: Coursera
  • Salud mental y atención comunitaria: Universidad de los Andes

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