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

Results for "model checking"


  • U

    University of Alberta

    Object-Oriented Design

    Skills you'll gain: Object Oriented Design, Unified Modeling Language, Software Design, Software Design Patterns, Object Oriented Programming (OOP), Java, Maintainability, Application Design

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

    Intermediate · 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

  • E

    EDUCBA

    Build Real-Time Face Recognition with OpenCV

    Skills you'll gain: System Design and Implementation, Model Deployment

    Beginner · Course · 1 - 4 Weeks

  • 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

  • P

    Packt

    AI Engineer Associate

    Skills you'll gain: Model Deployment, Model Evaluation, Unsupervised Learning, Transfer Learning, Tensorflow, Keras (Neural Network Library), Dimensionality Reduction, Deep Learning, Recurrent Neural Networks (RNNs), Applied Machine Learning, BeeAI, Data Preprocessing, Convolutional Neural Networks, PyTorch (Machine Learning Library), Responsible AI, Python Programming, Agentic systems, Artificial Intelligence, Artificial Neural Networks, Feature Engineering

    Intermediate · Specialization · 1 - 3 Months

  • E

    EDUCBA

    Apply Python for Practical Financial Data Analysis

    Skills you'll gain: Trend Analysis, Financial Data, Market Trend, Data-Driven Decision-Making, Financial Analysis, Data Visualization, Technical Analysis, Financial Market, Matplotlib, Financial Modeling, Correlation Analysis, Pandas (Python Package), Python Programming, Data Manipulation, Jupyter, Data Structures, Data Import/Export

    Beginner · Course · 1 - 4 Weeks

  • U

    University of California San Diego

    Big Data Modeling and Management Systems

    Skills you'll gain: Data Modeling, Big Data, Data Management, Database Management Systems, Real Time Data, NoSQL, Database Design, Data Processing, Apache Hadoop, Data Structures, Scalability, Virtual Environment

    4.4
    Rating, 4.4 out of 5 stars
    ·
    3K reviews

    Mixed · Course · 1 - 3 Months

  • C

    Coursera

    ML Production Systems

    Skills you'll gain: Model Deployment, Unit Testing, MLOps (Machine Learning Operations), Test Driven Development (TDD), Software Testing, Scalability, Dashboard, Feature Engineering, Continuous Integration, Kubernetes, Scikit Learn (Machine Learning Library), CI/CD, Performance Tuning, Tensorflow, Python Programming, Software Engineering, PyTorch (Machine Learning Library), Docker (Software), Containerization, Git (Version Control System)

    Intermediate · Specialization · 1 - 3 Months

  • S

    Starweaver

    Foundations of Financial Statement

    Skills you'll gain: Financial Statements, Financial Accounting, Financial Reporting, Financial Statement Analysis, Financial Modeling, Income Statement, Accounting, Bookkeeping, Generally Accepted Accounting Principles (GAAP), Balance Sheet, Cash Flows, Financial Analysis, Accrual Accounting, Revenue Recognition, Business Acumen, Business Valuation, Working Capital, Income Tax, Excel Formulas

    Beginner · Course · 1 - 4 Weeks

  • Status: Job Skills
    Job Skills
    M

    Microsoft

    Microsoft Business Analyst

    Skills you'll gain: Microsoft Power Platform, Excel Formulas, Process Flow Diagrams, Business Process Modeling, User Story, Business Requirements, Stakeholder Management, Data Modeling, Microsoft Excel, Software Development Life Cycle, Requirements Analysis, Requirements Elicitation, Quality Management, Diagram Design, Pivot Tables And Charts, Microsoft Visio, Power BI, Microsoft Power Automate/Flow, Business Analysis, Data Analysis

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

    Beginner · Professional Certificate · 3 - 6 Months

  • G

    Google Cloud

    Gemini CLI로 앱 개발 가속화

    Skills you'll gain: Gemini, Command-Line Interface, Build Tools, Code Review, Computer Programming Tools, Model Context Protocol, Software Installation, Application Security, Debugging

    Beginner · Course · 1 - 4 Weeks

Searches related to model checking

temporal logic model checking
1…464748…374

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

  • Object-Oriented Design: University of Alberta
  • Build and Apply Java Hibernate CRUD Applications: EDUCBA
  • Build Real-Time Face Recognition with OpenCV: EDUCBA
  • Applied Machine Learning in Python: University of Michigan
  • Master Financial Analysis: AI-Driven Modeling & Forecasting: Board Infinity
  • AI Engineer Associate: Packt
  • Apply Python for Practical Financial Data Analysis: EDUCBA
  • Big Data Modeling and Management Systems: University of California San Diego
  • ML Production Systems: Coursera
  • Foundations of Financial Statement: Starweaver

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