• 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
    P

    Packt

    Cybersecurity Foundations & Threat Mitigation

    Skills you'll gain: Security Controls, Threat Management, Cybersecurity, Threat Detection, Cyber Threat Intelligence, Zero Trust Network Access, Cyber Attacks, Application Security, Cyber Risk, Computer Security, Information Systems Security, Data Security, Network Security, Encryption, Multi-Factor Authentication, Cryptography, Authorization (Computing), Identity and Access Management

    4.9
    Rating, 4.9 out of 5 stars
    ·
    7 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    E

    EDUCBA

    Master Time Series Forecasting with R: Analyze & Predict

    Skills you'll gain: Time Series Analysis and Forecasting, Forecasting, Predictive Modeling, R Programming, Regression Analysis, Business Analytics, Trend Analysis, Statistical Analysis, Statistical Modeling, Analysis, Model Evaluation

    5
    Rating, 5 out of 5 stars
    ·
    21 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    W

    Whizlabs

    Azure ML: Designing and Preparing Machine Learning Solutions

    Skills you'll gain: Model Deployment, Data Management, Data Pipelines, Statistical Modeling

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado System

    Linear Kalman Filter Deep Dive (and Target Tracking)

    Skills you'll gain: Estimation, Advanced Mathematics, Mathematical Modeling, Matlab, Linear Algebra, Statistical Methods, Predictive Analytics, Predictive Modeling, Applied Mathematics, Time Series Analysis and Forecasting, Probability, Statistical Inference, Probability & Statistics

    5
    Rating, 5 out of 5 stars
    ·
    6 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    É

    École Polytechnique Fédérale de Lausanne

    Big Data Analysis with Scala and Spark (Scala 2 version)

    Skills you'll gain: Apache Spark, Scala Programming, Big Data, Data Manipulation, Distributed Computing, Data Processing, Performance Tuning, SQL, Data Persistence, Data Analysis, Programming Principles

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    M

    Microsoft

    Introduction to JavaScript Programming

    Skills you'll gain: Game Design, Software Development, Development Environment, Software Documentation, Data Validation, Javascript, Debugging, Maintainability, Data Structures, Software Design, Computer Programming, Data Management

    4.2
    Rating, 4.2 out of 5 stars
    ·
    11 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Gemini for Data Scientists and Analysts

    Skills you'll gain: Google Gemini, Customer Insights, Customer Analysis, Customer Data Management, Big Data, Google Cloud Platform, Marketing Analytics, Generative AI, Data Analysis, Marketing Strategies, Machine Learning Methods, Predictive Analytics, Forecasting, Query Languages

    4.1
    Rating, 4.1 out of 5 stars
    ·
    9 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Advanced Neural Network Techniques

    Skills you'll gain: Autoencoders, Recurrent Neural Networks (RNNs), Deep Learning, Artificial Neural Networks, Reinforcement Learning, Generative AI, Generative Adversarial Networks (GANs), Unsupervised Learning, Machine Learning Methods, Artificial Intelligence and Machine Learning (AI/ML), Data Ethics, Markov Model

    4
    Rating, 4 out of 5 stars
    ·
    7 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    University of Michigan

    Data Augmented Technology Assisted Medical Decision Making

    Skills you'll gain: Healthcare Ethics, Diagnostic Tests, Statistical Methods, Patient Communication, Health Care Procedure and Regulation, Clinical Research, Model Evaluation, Data Ethics, Healthcare Industry Knowledge, Probability & Statistics, Health Technology, Clinical Assessment, Health Informatics, Medical Equipment and Technology, Responsible AI, Applied Machine Learning, Artificial Intelligence, Artificial Intelligence and Machine Learning (AI/ML), Health Disparities

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    E

    Edureka

    Introduction to LLMs and Hugging Face

    Skills you'll gain: Hugging Face, LLM Application, LangChain, Large Language Modeling, OpenAI, Natural Language Processing, Generative AI Agents, ChatGPT, Responsible AI, Embeddings, Application Programming Interface (API), Text Mining, Restful API, Agentic systems, Open Source Technology, Data Preprocessing, MLOps (Machine Learning Operations), Python Programming, Model Evaluation

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    A

    Alfaisal University | KLD

    مهارات تنشيط الذاكرة | Memory Enhancing Skills

    Skills you'll gain: Mental Concentration, Cognitive flexibility, Learning Strategies, Mental Health, Mental Health Diseases and Disorders, Personal Care, Psychology, Neurology, Stress Management, Social Skills

    4.9
    Rating, 4.9 out of 5 stars
    ·
    27 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Pennsylvania

    Machine Learning Essentials

    Skills you'll gain: Statistical Machine Learning, Model Evaluation, Statistical Methods, Logistic Regression, Python Programming, Supervised Learning, Machine Learning Methods, Machine Learning, Classification Algorithms, Regression Analysis, Statistical Analysis, Applied Machine Learning, Data Science, Probability & Statistics, Dimensionality Reduction, Statistical Hypothesis Testing

    Intermediate · Course · 1 - 4 Weeks

1…248249250…391

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

  • Cybersecurity Foundations & Threat Mitigation: Packt
  • Master Time Series Forecasting with R: Analyze & Predict: EDUCBA
  • Azure ML: Designing and Preparing Machine Learning Solutions: Whizlabs
  • Linear Kalman Filter Deep Dive (and Target Tracking): University of Colorado System
  • Big Data Analysis with Scala and Spark (Scala 2 version): École Polytechnique Fédérale de Lausanne
  • Introduction to JavaScript Programming: Microsoft
  • Gemini for Data Scientists and Analysts: Google Cloud
  • Advanced Neural Network Techniques: Johns Hopkins University
  • Data Augmented Technology Assisted Medical Decision Making : University of Michigan
  • Introduction to LLMs and Hugging Face: Edureka

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