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

    EDUCBA

    Splunk Administration and Advanced Topics

    Skills you'll gain: Splunk, Data Modeling, Role-Based Access Control (RBAC), System Monitoring, Incident Response, Computer Security Incident Management, User Accounts, Security Information and Event Management (SIEM), Authorization (Computing), Machine Learning, Event Monitoring, Systems Administration, Performance Tuning, Data Visualization, Threat Detection, Anomaly Detection, Continuous Monitoring, Correlation Analysis, Data Analysis, Authentications

    4.8
    Rating, 4.8 out of 5 stars
    ·
    49 reviews

    Advanced · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of Illinois Urbana-Champaign

    Data Analytics Foundations for Accountancy II

    Skills you'll gain: Anomaly Detection, Feature Engineering, Data Ethics, Machine Learning Algorithms, Classification Algorithms, Machine Learning, Statistical Machine Learning, Applied Machine Learning, Supervised Learning, Unsupervised Learning, Scikit Learn (Machine Learning Library), Model Evaluation, Data Preprocessing, Decision Tree Learning, Data Mining, Exploratory Data Analysis, Regression Analysis

    4.5
    Rating, 4.5 out of 5 stars
    ·
    11 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    D

    Duke University

    Building Financial Models for Entrepreneurs

    Skills you'll gain: Financial Modeling, Entrepreneurial Finance, Financial Forecasting, Capital Budgeting, Entrepreneurship, Cash Flow Forecasting, Financial Data, Financial Analysis, Business Modeling, Finance, Negotiation, Investments, Microsoft Excel

    5
    Rating, 5 out of 5 stars
    ·
    9 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    E

    EDUCBA

    AI & Machine Learning: Apply, Build & Solve

    Skills you'll gain: Artificial Intelligence, Bayesian Network, Applied Machine Learning, Computational Logic, Machine Learning, Unsupervised Learning, Bayesian Statistics, Artificial Neural Networks, Reinforcement Learning, Markov Model, Algorithms, Probability & Statistics, Decision Making

    5
    Rating, 5 out of 5 stars
    ·
    10 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    B

    Board Infinity

    PHP Mastery: Build Web Apps

    Skills you'll gain: PHP (Scripting Language), Model View Controller, Restful API, Web Development, Object-Relational Mapping, Web Applications, Full-Stack Web Development, Development Environment, Software Testing, Back-End Web Development, Application Frameworks, Database Management, Application Security, Authentications, Authorization (Computing), Package and Software Management

    4.1
    Rating, 4.1 out of 5 stars
    ·
    9 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    E

    EDUCBA

    Blender Car Modeling & Rendering: Build & Export

    Skills you'll gain: 3D Modeling, Unreal Engine, 3D Assets, Computer Graphics, Visualization (Computer Graphics), Data Import/Export

    5
    Rating, 5 out of 5 stars
    ·
    13 reviews

    Mixed · Course · 1 - 4 Weeks

  • U

    University of Colorado Boulder

    Fundamentals of Natural Language Processing

    Skills you'll gain: Natural Language Processing, Model Evaluation, Embeddings, Text Mining, Logistic Regression, Artificial Intelligence and Machine Learning (AI/ML), Statistical Modeling, Machine Learning Methods, Classification Algorithms, Unstructured Data, Deep Learning, Probability Distribution, Linear Algebra, Algorithms

    Build toward a degree

    3.9
    Rating, 3.9 out of 5 stars
    ·
    14 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    P

    Packt

    Machine Learning, Data Science and Generative AI with Python

    Skills you'll gain: Apache Spark, PySpark, Retrieval-Augmented Generation, OpenAI API, Generative AI, Model Evaluation, Data Preprocessing, Large Language Modeling, Generative Adversarial Networks (GANs), Predictive Modeling, Matplotlib, Keras (Neural Network Library), Transfer Learning, Deep Learning, ChatGPT, Applied Machine Learning, Seaborn, Data Visualization, Regression Analysis, Machine Learning

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Glasgow

    Machine Learning and its Applications

    Skills you'll gain: Data Preprocessing, Model Evaluation, Classification Algorithms, Artificial Intelligence and Machine Learning (AI/ML)

    5
    Rating, 5 out of 5 stars
    ·
    47 reviews

    Beginner · Course · 1 - 3 Months

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

    Edureka

    Autonomous AI Agent Systems and Orchestration

    Skills you'll gain: LangGraph, AI Orchestration, Model Deployment, Retrieval-Augmented Generation, AI Workflows, Generative AI Agents, CrewAI, Agentic Workflows, LangChain, Artificial Intelligence and Machine Learning (AI/ML), LLM Application, Agentic systems, OpenAI, Systems Integration, Tool Calling, Google Gemini, Workflow Management, Automation, Prompt Engineering, Responsible AI

    Intermediate · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    L

    LearnQuest

    Visual Basic Programming: Inheritance and Polymorphism

    Skills you'll gain: File I/O, Unified Modeling Language, Visual Basic (Programming Language), Object Oriented Programming (OOP), Object Oriented Design, Data Modeling, Microsoft Development Tools, Computer Programming, .NET Framework, Software Engineering, Data Structures

    4.6
    Rating, 4.6 out of 5 stars
    ·
    15 reviews

    Intermediate · Course · 1 - 4 Weeks

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

1…214215216…389

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

  • Splunk Administration and Advanced Topics: EDUCBA
  • Data Analytics Foundations for Accountancy II: University of Illinois Urbana-Champaign
  • Building Financial Models for Entrepreneurs: Duke University
  • AI & Machine Learning: Apply, Build & Solve: EDUCBA
  • PHP Mastery: Build Web Apps: Board Infinity
  • Blender Car Modeling & Rendering: Build & Export: EDUCBA
  • Fundamentals of Natural Language Processing: University of Colorado Boulder
  • Machine Learning, Data Science and Generative AI with Python: Packt
  • Machine Learning and its Applications: University of Glasgow
  • Autonomous AI Agent Systems and Orchestration: 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