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

Results for "model checking"


  • Status: Preview
    Preview
    S

    Starweaver

    Strategic Public Relations Planning

    Skills you'll gain: Target Audience, Public Relations, Strategic Communication, Corporate Communications, Crisis Management, Marketing and Public Relations, Persuasive Communication, Marketing Effectiveness, Media and Communications, Marketing Budgets, Persona Development, Campaign Management, Content Strategy, AI Enablement, Stakeholder Analysis, Technology Strategies, Teamwork, Ethical Standards And Conduct

    4.9
    Rating, 4.9 out of 5 stars
    ·
    12 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    B

    Board Infinity

    Executing Full Text Queries with Elasticsearch

    Skills you'll gain: Query Languages, Data Analysis, Software Installation, Performance Tuning, Distributed Computing, Scalability, Data Modeling, Cloud Deployment

    3.6
    Rating, 3.6 out of 5 stars
    ·
    14 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Advanced Probability and Statistical Methods

    Skills you'll gain: Regression Analysis, Statistical Hypothesis Testing, Statistical Analysis, Probability & Statistics, Statistical Methods, Probability Distribution, Data Analysis, Markov Model, Data Science, Statistics, Statistical Inference, Probability, R Programming

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    Status: Preview
    Preview
    A

    Amazon Web Services

    AWS Generative AI Essentials

    Skills you'll gain: Prompt Engineering, Amazon Bedrock, Model Context Protocol, AI Security, AI Workflows, AI Orchestration, Generative AI, Vibe coding, Secure Coding, LLM Application, Responsible AI, Amazon Web Services, Integrated Development Environments

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    P

    Pearson

    Introduction to Transformer Models for NLP

    Skills you'll gain: Vision Transformer (ViT), Prompt Engineering, PyTorch (Machine Learning Library), Model Deployment, Transfer Learning, Hugging Face, Natural Language Processing, MLOps (Machine Learning Operations), Large Language Modeling, Cloud Deployment, Computer Vision, Generative AI, Image Analysis, Application Deployment, Generative Model Architectures, Embeddings, Data Preprocessing, Model Evaluation

    Intermediate · Specialization · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    F

    Fractal Analytics

    Generative AI for Business - A Leaders' Handbook

    Skills you'll gain: Generative AI, Generative Model Architectures, AI Product Strategy, Generative Adversarial Networks (GANs), Business Leadership, Responsible AI, Key Performance Indicators (KPIs), Market Opportunities, Customer experience improvement, Corporate Strategy, Data Ethics, Business Ethics, Business Metrics, Customer Engagement, Governance

    4.3
    Rating, 4.3 out of 5 stars
    ·
    36 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    N

    National Academy of Sports Medicine

    Mindful Eating

    Skills you'll gain: Nutrition Education, Nutrition and Diet, Mindfulness, Self-Awareness, Decision Making, Stress Management, Mental Health

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    P

    Pragmatic AI Labs

    Next-Gen AI Development with Hugging Face

    Skills you'll gain: Prompt Engineering, Hugging Face, Model Deployment, MLOps (Machine Learning Operations), CI/CD, Continuous Deployment, Model Evaluation, Applied Machine Learning, Continuous Integration, Transfer Learning, Data Processing, Data Preprocessing, Image Analysis, Large Language Modeling, Rust (Programming Language), Natural Language Processing, Generative AI, AI Orchestration, Data Validation, Cloud Deployment

    Beginner · Specialization · 3 - 6 Months

  • Status: Free
    Free
    C

    Coursera

    Program Financial Planning with ClickUp

    Skills you'll gain: Program Management, Project Planning, Innovation, Budget Management, Financial Planning, Diagram Design, Productivity Software, Agile Methodology, Strategic Planning

    4.3
    Rating, 4.3 out of 5 stars
    ·
    12 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Free
    Free
    C

    Coursera

    PyCaret: Anatomy of Regression

    Skills you'll gain: Regression Analysis, Predictive Modeling, Scikit Learn (Machine Learning Library), Feature Engineering, Model Evaluation, Data Preprocessing, Applied Machine Learning, Data Visualization, Exploratory Data Analysis, Performance Tuning, Python Programming, Machine Learning

    4.5
    Rating, 4.5 out of 5 stars
    ·
    14 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    E

    EDUCBA

    Project on REST API - Pet Clinic Application

    Skills you'll gain: Restful API, Spring Boot, API Design, Spring Framework, JSON, Object-Relational Mapping, Integration Testing, Data Modeling, Server Side, Software Architecture, Data Persistence, Data Validation

    5
    Rating, 5 out of 5 stars
    ·
    18 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    C

    Case Western Reserve University

    Basic Principles of Geostatistical Geospatial Modeling

    Skills you'll gain: Geostatistics, Exploratory Data Analysis, Spatial Data Analysis, Spatial Analysis, Geospatial Mapping, Geospatial Information and Technology, Statistical Modeling, R Programming, Statistical Analysis, Probability & Statistics, Data Analysis, Data-Driven Decision-Making, Regression Analysis, Correlation Analysis, Data Validation, Histogram, Box Plots, Simulation and Simulation Software, Model Evaluation

    Beginner · Course · 1 - 3 Months

1…215216217…389

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

  • Strategic Public Relations Planning: Starweaver
  • Executing Full Text Queries with Elasticsearch: Board Infinity
  • Advanced Probability and Statistical Methods: Johns Hopkins University
  • AWS Generative AI Essentials: Amazon Web Services
  • Introduction to Transformer Models for NLP: Pearson
  • Generative AI for Business - A Leaders' Handbook: Fractal Analytics
  • Mindful Eating: National Academy of Sports Medicine
  • Next-Gen AI Development with Hugging Face: Pragmatic AI Labs
  • Program Financial Planning with ClickUp: Coursera
  • PyCaret: Anatomy of Regression: 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