• 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

    Building with OpenAI API

    Skills you'll gain: Prompt Engineering, OpenAI API, Token Optimization, LangChain, ChatGPT, Multimodal Prompts, Prompt Patterns, OpenAI, Generative AI, No-Code Development, LLM Application, AI powered creativity, Generative Model Architectures, Microsoft Power Platform, Application Programming Interface (API), Large Language Modeling, AI Workflows, Email Automation, Application Development, JSON

    3.6
    Rating, 3.6 out of 5 stars
    ·
    7 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    S

    SkillUp

    Machine Learning for Medical Data

    Skills you'll gain: Machine Learning Methods, Healthcare Ethics, Health Informatics, Machine Learning, Deep Learning, Statistical Machine Learning, Model Training, Convolutional Neural Networks, Data Preprocessing, Predictive Modeling, Electronic Medical Record System, AI Personalization, Machine Learning Algorithms, Recurrent Neural Networks (RNNs), Model Evaluation, Decision Intelligence, Data Analysis

    Intermediate · Course · 1 - 4 Weeks

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

    EDUCBA

    AI for Business Ethics & Financial Strategy Mastery

    Skills you'll gain: Data Ethics, Financial Modeling, Responsible AI, Financial Forecasting, Financial Statements, Depreciation, Law, Regulation, and Compliance, Risking, Business Ethics, Balance Sheet, AI literacy, Regulatory Compliance, Capital Budgeting, Artificial Intelligence, Strategic Decision-Making, Data Management, Compliance Management, Finance, Business Strategy, Business

    5
    Rating, 5 out of 5 stars
    ·
    7 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    S

    Simplilearn

    LLM Benchmarking and Evaluation Training

    Skills you'll gain: LLM Application, LangChain, Large Language Modeling, Model Evaluation, Generative AI, Embeddings, Text Mining, Natural Language Processing, Language Interpretation, Translation, and Studies, Benchmarking

    Beginner · Course · 1 - 4 Weeks

  • G

    Google Cloud

    Use Google Forms with Google Sheets

    Skills you'll gain: Google Sheets, Google Workspace, Data Validation, Spreadsheet Software, Google Cloud Platform

    Advanced · Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    C

    Codio

    Object-Oriented Java: Inheritance and Encapsulation

    Skills you'll gain: Object Oriented Programming (OOP), Object Oriented Design, Java Programming, Code Reusability, Java, Computer Programming, Data Validation, Data Integrity, Computer Science

    4.1
    Rating, 4.1 out of 5 stars
    ·
    21 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    S

    Skillshare

    Unreal Engine for Beginners

    Skills you'll gain: Unreal Engine, Cinematography, Animation and Game Design, Photo/Video Production and Technology, Virtual Environment, Video Production, 3D Assets, Game Design, Storytelling, Post-Production, Visual Storytelling, Video Editing, Animations, Media Production, Image Quality, Real Time Data, Model Optimization, Data Import/Export

    Beginner · Specialization · 1 - 3 Months

  • Status: Preview
    Preview
    E

    EDUCBA

    Master Time Series Forecasting with R: Analyze & Predict

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

    5
    Rating, 5 out of 5 stars
    ·
    21 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    R

    Real Madrid Graduate School Universidad Europea

    Theoretical Bases of Health and Injury Management

    Skills you'll gain: Kinesiology, Applied Machine Learning, Risking, AI Integrations, Medical Equipment and Technology, Bayesian Network, Health Technology, Machine Learning, Data-Driven Decision-Making, Epidemiology, Load Balancing, Health Education, Systems Engineering, Psychological Evaluations

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    L

    Logical Operations

    Power BI: Data Analysis, Reporting, and Connecting

    Skills you'll gain: Power BI, Business Reporting, Business Intelligence, Data Storytelling, Business Intelligence Software, Data Visualization Software, Data Analysis, Microsoft Excel, Data Analysis Software, Data Modeling, Data Integration, Self Service Technologies, Data Management, Microsoft PowerPoint, Microsoft 365, Microsoft Office

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    I

    Illinois Tech

    Introduction to Time Series

    Skills you'll gain: Time Series Analysis and Forecasting, R (Software), Statistical Analysis, Statistical Software, Forecasting, Statistical Programming, Statistical Modeling, Data Analysis, Statistical Methods, Statistical Reporting, Predictive Modeling, Correlation Analysis, Exploratory Data Analysis, Statistical Visualization, Data Presentation, Probability & Statistics, Model Evaluation, Statistical Hypothesis Testing, Data Transformation

    4.1
    Rating, 4.1 out of 5 stars
    ·
    8 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Data Entry: Capture and Upload Fast

    Skills you'll gain: Data Entry, Data Validation, Data Integrity, Data Capture, Data Processing, Data Management, Spreadsheet Software, Computer Literacy

    Beginner · Course · 1 - 4 Weeks

1…256257258…424

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

  • Building with OpenAI API: Packt
  • Machine Learning for Medical Data : SkillUp
  • AI for Business Ethics & Financial Strategy Mastery: EDUCBA
  • LLM Benchmarking and Evaluation Training: Simplilearn
  • Use Google Forms with Google Sheets: Google Cloud
  • Object-Oriented Java: Inheritance and Encapsulation: Codio
  • Unreal Engine for Beginners: Skillshare
  • Master Time Series Forecasting with R: Analyze & Predict: EDUCBA
  • Theoretical Bases of Health and Injury Management : Real Madrid Graduate School Universidad Europea
  • Power BI: Data Analysis, Reporting, and Connecting: Logical Operations

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