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

Results for "model checking"


  • O

    O.P. Jindal Global University

    Machine Learning

    Skills you'll gain: Model Evaluation, Supervised Learning, Model Training, Scikit Learn (Machine Learning Library), Tensorflow, Model Deployment, Applied Machine Learning, Artificial Neural Networks, Python Programming, NumPy, Machine Learning Algorithms, Matplotlib, Deep Learning, Image Analysis, Machine Learning, Model Optimization, Embeddings, Pandas (Python Package), Natural Language Processing

    ★ 3.9 (9) · Beginner · Course · 1 - 3 Months

    Category: Preview
    Preview
    Category: Build toward a degree
    Build toward a degree
  • N

    National Academy of Sports Medicine

    Holistic Weight Management

    Skills you'll gain: Stress Management, Medical Nutrition Therapy, Behavioral Health, Psychiatry, Psychosocial Assessments, Mental Health, Exercise Science, Social Determinants Of Health, Social Sciences, Nutrition and Diet, Cognitive Behavioral Therapy, Health And Wellness Coaching, Kinesiology, Sociology, Nutrition Care Plans, Coaching, Clinical Nutrition, Surgery, Health Assessment, Preventative Care

    ★ 4.6 (22) · Intermediate · Specialization · 1 - 3 Months

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

    Google Cloud

    Hands-on Foundations for Data Science and Machine Learning with Google Cloud Labs

    Skills you'll gain: Data Warehousing, Google Cloud Platform, Big Data, Model Evaluation, Apache Spark, Data Integration, Dataflow, SQL, Data Pipelines, Metadata Management, Data Management, Real Time Data, Tensorflow, Data Science, Command-Line Interface, Applied Machine Learning, Cloud-Based Integration, Apache Hadoop, Query Languages, Machine Learning

    ★ 4.3 (125) · Intermediate · Specialization · 1 - 3 Months

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

    Google

    Apoio Técnico de TI da Google

    Skills you'll gain: IT Security Architecture, Network Troubleshooting, Information Systems Security, Systems Administration, Computer Networking, OSI Models, Routing Protocols, Cloud Infrastructure, Package and Software Management, Operating System Administration, Network Security, Application Security, Computer Security, Cybersecurity, Help Desk Support, Desktop Support, Network Protocols, Cloud Computing, Customer Service, Debugging

    ★ 4.9 (239) · Beginner · Professional Certificate · 3 - 6 Months

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

    Coursera

    Scikit-Learn to Solve Regression Machine Learning Problems

    Skills you'll gain: Scikit Learn (Machine Learning Library), Predictive Modeling, Regression Analysis, Machine Learning Algorithms, Applied Machine Learning, Predictive Analytics, Python Programming, Classification Algorithms, Model Training, Machine Learning, Data Analysis

    ★ 4.8 (11) · Beginner · Guided Project · Less Than 2 Hours

    Category: Credit offered
    Credit offered
  • U

    University of Michigan

    Breastfeeding: Public Health Perspectives

    Skills you'll gain: Child Health, Maternal Health, Health Promotion, Health Disparities, Social Determinants Of Health, Public Health, Health Equity, Nutrition Education, Community Health, Postpartum Care, Health Policy, Patient Education And Counseling, Infant Care, Family Support, Diversity Awareness, Economics, Policy, and Social Studies, Surveys, Educational Materials, Environmental Issue, Peer Review

    ★ 4.8 (17) · Beginner · Course · 1 - 4 Weeks

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • L

    L&T EduTech

    Load Flow Analysis

    Skills you'll gain: Electric Power Systems, Electrical Power, Electrical Systems, Network Model, Energy and Utilities, Engineering Analysis, Systems Analysis, Electrical Engineering, Network Analysis, Numerical Analysis, Engineering Calculations, Mathematical Modeling, Simulation and Simulation Software, Simulations, Graph Theory

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

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

    Universidade de São Paulo

    Processamento Neural de Linguagem Natural em Português I

    Skills you'll gain: Recurrent Neural Networks (RNNs), Natural Language Processing, Artificial Neural Networks, Tensorflow, Python Programming, Embeddings, Machine Learning Methods, Applied Machine Learning, Classification Algorithms, Model Training, Model Optimization

    ★ 4.5 (22) · Intermediate · Course · 1 - 3 Months

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

    University of Michigan

    Understanding Data: Navigating Statistics, Science, and AI

    Skills you'll gain: Histogram, Generative AI, Model Evaluation, Data Literacy, AI literacy, Data Presentation, Data Collection, Statistical Hypothesis Testing, Scientific Methods, Descriptive Statistics, Statistics, Data Analysis, Statistical Reporting, Data Ethics, Experimentation, Science and Research, Data Science, Research Design, Model Training, Artificial Intelligence

    ★ 4.7 (55) · Beginner · Specialization · 1 - 3 Months

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

    ESSEC Business School

    Deploying the circular economy within organisations

    Skills you'll gain: Sustainable Business, Corporate Sustainability, Sustainable Development, Sustainable Systems, Business Transformation, Organizational Change, Waste Minimization, Systems Thinking, Pollution Prevention, Environmental Issue, Business Modeling, Environment and Resource Management, Innovation, Product Lifecycle Management, Stakeholder Engagement, Case Studies

    ★ 4.5 (14) · Beginner · Course · 1 - 4 Weeks

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • M

    Macquarie University

    Cyber Security: Application of AI

    Skills you'll gain: Cyber Threat Intelligence, Cyber Security Strategy, Intrusion Detection and Prevention, Cyber Attacks, Cybersecurity, Artificial Intelligence and Machine Learning (AI/ML), Model Training, Threat Modeling, Machine Learning Methods, Python Programming

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

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

    University of Colorado Boulder

    Computational Vision

    Skills you'll gain: Computer Vision, Image Analysis, Artificial Neural Networks, Convolutional Neural Networks, Artificial Intelligence and Machine Learning (AI/ML), Machine Learning Methods, Network Model, Psychology

    ★ 4.4 (67) · Beginner · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
1…193194195…425

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

  • Machine Learning: O.P. Jindal Global University
  • Holistic Weight Management: National Academy of Sports Medicine
  • Hands-on Foundations for Data Science and Machine Learning with Google Cloud Labs: Google Cloud
  • Apoio Técnico de TI da Google: Google
  • Scikit-Learn to Solve Regression Machine Learning Problems: Coursera
  • Breastfeeding: Public Health Perspectives: University of Michigan
  • Load Flow Analysis: L&T EduTech
  • Processamento Neural de Linguagem Natural em Português I: Universidade de São Paulo
  • Understanding Data: Navigating Statistics, Science, and AI: University of Michigan
  • Deploying the circular economy within organisations: ESSEC Business School

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