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

Results for "model checking"


  • P

    Packt

    Building AI Intensive Python Applications

    Skills you'll gain: Large Language Modeling, Vector Databases, Embeddings, Generative AI, LLM Application, Retrieval-Augmented Generation, Natural Language Processing, AI Security, Application Design, Prompt Engineering, Python Programming, Model Evaluation, Data Modeling, Artificial Intelligence, Metadata Management, MongoDB

    Intermediate · Course · 1 - 3 Months

  • U

    University of California San Diego

    Algorithms on Graphs

    Skills you'll gain: Graph Theory, Algorithms, Network Routing, Programming Principles, Social Network Analysis, Data Structures, Network Analysis, Network Model

    4.7
    Rating, 4.7 out of 5 stars
    ·
    2.3K reviews

    Intermediate · Course · 1 - 3 Months

  • E

    EDUCBA

    Build Employee Management System with Jenkins

    Skills you'll gain: Jenkins, CI/CD, Continuous Integration, Version Control, Git (Version Control System), Java, Data Validation, Application Development, Object Oriented Programming (OOP), Software Architecture, Data Modeling

    Beginner · Course · 1 - 4 Weeks

  • E

    Edureka

    Agentic AI Engineering

    Skills you'll gain: LangChain, LangGraph, Model Context Protocol, AI Workflows, LLM Application, AI Orchestration, Agentic Workflows, Generative AI Agents, Tool Calling, Model Deployment, Data Transformation, Retrieval-Augmented Generation, Agentic systems, Generative AI, Middleware, Gemini, Scalability, Artificial Intelligence, Prompt Engineering, Responsible AI

    Intermediate · Specialization · 3 - 6 Months

  • E

    EDUCBA

    Design and Assemble an IC Engine Using SolidWorks

    Skills you'll gain: SolidWorks (CAD), 3D Modeling, Assembly Drawing, Engineering Design Process, Mechanical Design, Computer-Aided Design, Mechanical Engineering, Engineering Drawings, Torque (Physics), Functional Testing

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Enforce Data Quality

    Skills you'll gain: Quality Assurance, Compliance Reporting, Data Quality, Performance Reporting, Trend Analysis, Data Validation, Configuration Management, Data Integrity, Data Capture, Workflow Management, Continuous Monitoring

    Beginner · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Build and Apply Java Hibernate CRUD Applications

    Skills you'll gain: Hibernate (Java), Object-Relational Mapping, Data Validation, Database Design, User Interface (UI), Database Application, Relational Databases, Development Environment, Java, Application Development, Data Persistence, Data Integrity, Transaction Processing

    Beginner · Course · 1 - 4 Weeks

  • H

    HEC Paris

    Devenir entrepreneur du changement

    Skills you'll gain: Project Implementation, Social Impact, Entrepreneurship, Self-Awareness, Ideation, Personal Development, New Business Development, Empowerment, Sustainable Business, Visionary, Innovation, Proactivity, Design Thinking, Creative Problem-Solving, Communication

    4.7
    Rating, 4.7 out of 5 stars
    ·
    631 reviews

    Mixed · Course · 1 - 3 Months

  • U

    University of Michigan

    Applied Machine Learning in Python

    Skills you'll gain: Feature Engineering, Model Evaluation, Applied Machine Learning, Supervised Learning, Scikit Learn (Machine Learning Library), Predictive Modeling, Machine Learning, Decision Tree Learning, Unsupervised Learning, Python Programming, Random Forest Algorithm, Regression Analysis, Classification Algorithms, Artificial Neural Networks

    4.6
    Rating, 4.6 out of 5 stars
    ·
    8.8K reviews

    Intermediate · Course · 1 - 4 Weeks

  • B

    Board Infinity

    Master Financial Analysis: AI-Driven Modeling & Forecasting

    Skills you'll gain: Financial Statement Analysis, Financial Statements, Financial Modeling, Financial Analysis, Working Capital, Business Valuation, Financial Forecasting, Dashboard, Feature Engineering, Model Evaluation, Applied Machine Learning, Income Statement, Forecasting, Real Time Data, Machine Learning, Power BI, Extract, Transform, Load, Tableau Software, Financial Data, Finance

    Beginner · Specialization · 1 - 3 Months

  • C

    Coursera

    Mastering Application Performance Monitoring in AppDynamics

    Skills you'll gain: Dashboard, Application Performance Management, Role-Based Access Control (RBAC), MLOps (Machine Learning Operations), System Monitoring, Enterprise Application Management, Performance Tuning, Performance Analysis, Management Reporting, Performance Metric, Anomaly Detection, Real Time Data, Continuous Monitoring, Model Deployment, Devops Tools, Model Evaluation, Operational Performance Management, Site Reliability Engineering, DevOps, Root Cause Analysis

    Beginner · Specialization · 1 - 3 Months

  • E

    EDUCBA

    Analyze Sales Performance Using Microsoft Power BI

    Skills you'll gain: Gross Profit, Case Studies, Performance Analysis, Business Analysis, Time Series Analysis and Forecasting

    Beginner · Course · 1 - 4 Weeks

Searches related to model checking

temporal logic model checking
1…444546…374

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

  • Building AI Intensive Python Applications: Packt
  • Algorithms on Graphs: University of California San Diego
  • Build Employee Management System with Jenkins: EDUCBA
  • Agentic AI Engineering: Edureka
  • Design and Assemble an IC Engine Using SolidWorks: EDUCBA
  • Enforce Data Quality: Coursera
  • Build and Apply Java Hibernate CRUD Applications: EDUCBA
  • Devenir entrepreneur du changement: HEC Paris
  • Applied Machine Learning in Python: University of Michigan
  • Master Financial Analysis: AI-Driven Modeling & Forecasting: Board Infinity

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