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

Results for "model checking"


  • K

    KodeKloud

    Introduction to OpenAI

    Skills you'll gain: Prompt Engineering, OpenAI, OpenAI API, Responsible AI, Multimodal Prompts, AI Enablement, ChatGPT, Data Ethics, Artificial Intelligence, Generative AI, Tool Calling, AI Workflows, LLM Application, Image Analysis, Large Language Modeling, Natural Language Processing, Vision Transformer (ViT), Embeddings, Computer Vision, Reinforcement Learning

    Beginner · Course · 1 - 3 Months

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • R

    Rice University

    Finances pour les professionnels non financiers

    Skills you'll gain: Capital Budgeting, Capital Expenditure, Financial Analysis, Cash Flows, Business Valuation, Finance, Financial Modeling, Return On Investment, Financial Statements, Corporate Finance, Risk Analysis, Working Capital, Investments

    Beginner · Course · 1 - 3 Months

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • I

    Illinois Tech

    Cyber Security Technologies

    Skills you'll gain: Cybersecurity, Cyber Attacks, Network Security, Information Systems Security, Computer Security, Cryptography, Disaster Recovery, Application Security, Cyber Operations, Cyber Security Policies, Cryptographic Protocols, IT Security Architecture, Telecommunications, Network Administration, NIST 800-53, Infrastructure Security, Security Controls, Data Security, Encryption, Governance Risk Management and Compliance

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

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

    Coursera

    Data Analysis in R: Predictive Analysis with Regression

    Skills you'll gain: Ggplot2, Model Evaluation, Data Visualization, Regression Analysis, Predictive Analytics, Predictive Modeling, Data-Driven Decision-Making, Statistical Modeling, R Programming, Descriptive Statistics, Statistical Methods, Exploratory Data Analysis, Statistical Analysis, Data Analysis

    ★ 4.2 (13) · Intermediate · Guided Project · Less Than 2 Hours

    Category: Credit offered
    Credit offered
  • M

    Microsoft

    Web Development Fundamentals

    Skills you'll gain: Responsive Web Design, Cascading Style Sheets (CSS), Data Persistence, Event-Driven Programming, HTML and CSS, Web Applications, Front-End Web Development, Semantic Web, Javascript, Web Content Accessibility Guidelines, Data Storage Technologies, Application Security, User Interface (UI), Data Validation

    ★ 3.5 (6) · Beginner · Course · 1 - 3 Months

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

    Universidad Austral

    Introducción al Aprendizaje Profundo

    Skills you'll gain: Supervised Learning, Deep Learning, Artificial Neural Networks, Machine Learning Algorithms, Logistic Regression, Artificial Intelligence and Machine Learning (AI/ML), Classification Algorithms, Linear Algebra, Regression Analysis

    ★ 4.3 (7) · Beginner · Course · 1 - 4 Weeks

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

    Logical Operations

    Microsoft Power Apps: Building Low-Code Business Apps

    Skills you'll gain: Microsoft Power Platform, No-Code Development, Application Deployment, Application Design, Application Development, Microsoft 365, Dashboard, Data-Driven Decision-Making, Software Design, Project Planning, Product Testing, Software Development, Business Solutions, Software Architecture

    Mixed · Course · 1 - 3 Months

    Category: New
    New
    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • E

    EDUCBA

    Master DCF Valuation: Analyze, Forecast, and Present

    Skills you'll gain: Cash Flow Forecasting, Business Valuation, Financial Modeling, Financial Forecasting, Revenue Forecasting, Risk Modeling, Capital Budgeting, Equities, Risk Analysis, Financial Analysis, Data Presentation, Private Equity, Investment Banking, Presentations, Mergers & Acquisitions, Model Evaluation, Case Studies, Microsoft Excel

    ★ 4.6 (14) · Mixed · Course · 1 - 4 Weeks

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • C

    Coursera

    Analyzing Digital Transformation Canvas for Competitiveness

    Skills you'll gain: Digital Transformation, Business Transformation, Performance Measurement, Business Process, Technology Strategies, FinTech, Competitive Analysis, Stakeholder Analysis, Value Propositions, Case Studies, Business Strategies, Innovation, Entrepreneurship, Leadership, Information Technology

    Intermediate · Guided Project · Less Than 2 Hours

    Category: Credit offered
    Credit offered
  • G

    Google Cloud

    Working with Notebooks in Vertex AI

    Skills you'll gain: Jupyter, MLOps (Machine Learning Operations), Google Cloud Platform, Model Deployment, AI Workflows, Applied Machine Learning, Data Preprocessing

    Beginner · Course · 1 - 4 Weeks

    Category: Credit offered
    Credit offered
  • C

    Coursera

    Systematic ML Optimization

    Skills you'll gain: MLOps (Machine Learning Operations), Model Evaluation, Image Analysis, Multimodal Prompts, Debugging, Benchmarking, Computer Vision, Algorithms, Data Visualization, Deep Learning, Applied Machine Learning, Performance Tuning, Experimentation, Tensorflow, Failure Mode And Effects Analysis, Verification And Validation, Root Cause Analysis, Cost Management, Machine Learning, Keras (Neural Network Library)

    Intermediate · Specialization · 3 - 6 Months

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

    Scrimba

    Advanced JavaScript 2: Async JS, APIs, Operators, Objects

    Skills you'll gain: Ajax, JSON, Application Programming Interface (API), Javascript, Event-Driven Programming, Data Validation, Web Development, Object Oriented Programming (OOP), Debugging

    Intermediate · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
1…252253254…391

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

  • Introduction to OpenAI: KodeKloud
  • Finances pour les professionnels non financiers: Rice University
  • Cyber Security Technologies: Illinois Tech
  • Data Analysis in R: Predictive Analysis with Regression: Coursera
  • Web Development Fundamentals: Microsoft
  • Introducción al Aprendizaje Profundo: Universidad Austral
  • Microsoft Power Apps: Building Low-Code Business Apps: Logical Operations
  • Master DCF Valuation: Analyze, Forecast, and Present: EDUCBA
  • Analyzing Digital Transformation Canvas for Competitiveness : Coursera
  • Working with Notebooks in Vertex AI: Google Cloud

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