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

Results for "model checking"


  • E

    EDUCBA

    Design and Build Scalable iOS Applications

    Skills you'll gain: Apple iOS, iOS Development, Model View Controller, Software Architecture, Maintainability, Application Design, Mobile Development, Software Design, Software Design Patterns, UI Components, Scalability, Frontend Integration, Application Development, Frontend Performance, Performance Tuning, Data Modeling, Business Logic

    Beginner · Course · 1 - 4 Weeks

  • U

    University of Pennsylvania

    Fundamentals of Quantitative Modeling

    Skills you'll gain: Business Modeling, Mathematical Modeling, Regression Analysis, Statistical Modeling, Risk Analysis, Forecasting, Predictive Analytics, Business Analytics, Simulation and Simulation Software, Probability, Logistic Regression, Vocabulary

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

    Mixed · Course · 1 - 4 Weeks

  • Status: Trending in AI
    Trending in AI
    I

    IBM

    IBM RAG and Agentic AI

    Skills you'll gain: Prompt Engineering, AI Orchestration, AI Workflows, LangChain, Retrieval-Augmented Generation, Agentic Workflows, Tool Calling, LangGraph, LLM Application, Agentic systems, Multimodal Prompts, Model Context Protocol, Generative AI, AI Security, Generative AI Agents, Vector Databases, Generative Model Architectures, OpenAI API, Responsible AI, Software Development

    4.6
    Rating, 4.6 out of 5 stars
    ·
    831 reviews

    Advanced · Professional Certificate · 3 - 6 Months

  • U

    University of Maryland, College Park

    Cybersecurity in the AI Era

    Skills you'll gain: Cybersecurity, Cyber Security Policies, Cyber Risk, Cyber Attacks, Cyber Governance, Cyber Security Strategy, Security Management, Infrastructure Security, Data Security, Threat Modeling, Computer Security, Security Awareness, Risk Management, Enterprise Security, Vulnerability, Governance, General Networking, Public Safety and National Security, Threat Detection, Artificial Intelligence

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

    Beginner · Specialization · 3 - 6 Months

  • E

    Erasmus University Rotterdam

    Econometrics: Methods and Applications

    Skills you'll gain: Econometrics, Time Series Analysis and Forecasting, Regression Analysis, Logistic Regression, Data Analysis, Analytics, Statistical Analysis, Statistics, Case Studies, Forecasting, Model Evaluation, Probability, Linear Algebra, Peer Review

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

    Mixed · Course · 1 - 3 Months

  • U

    University of Illinois Urbana-Champaign

    Financial Management

    Skills you'll gain: Revenue Recognition, Peer Review, Credit Risk, Mergers & Acquisitions, Financial Analysis, Accrual Accounting, Financial Statement Analysis, Cash Flows, Accounting, Corporate Finance, Financial Statements, Financial Accounting, Finance, Financial Modeling, Investments, Return On Investment, Generally Accepted Accounting Principles (GAAP), Financial Management, Portfolio Management, Risk Management

    Build toward a degree

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

    Intermediate · Specialization · 3 - 6 Months

  • P

    Packt

    Segment Routing in MPLS Networks

    Skills you'll gain: Multiprotocol Label Switching, Routing Protocols, Network Routing, Network Troubleshooting, Network Performance Management, Network Routers, Network Infrastructure, Network Planning And Design, Computer Networking, Network Protocols, Network Engineering, Network Model, Telecommunications, Verification And Validation

    Intermediate · Course · 3 - 6 Months

  • U

    University at Buffalo

    Blockchain Basics

    Skills you'll gain: Blockchain, Cryptography, Transaction Processing, Network Protocols, Encryption, Data Structures, Distributed Computing, Virtual Environment, Data Integrity, Emerging Technologies, Data Validation, Algorithms, Verification And Validation

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

    Beginner · Course · 1 - 4 Weeks

  • Status: Trending in AI
    Trending in AI
    U

    University of Washington

    Machine Learning

    Skills you'll gain: Model Evaluation, Classification Algorithms, Regression Analysis, Applied Machine Learning, Feature Engineering, Machine Learning, Image Analysis, Unsupervised Learning, Predictive Modeling, Supervised Learning, Bayesian Statistics, Logistic Regression, Statistical Modeling, Artificial Intelligence, Data Preprocessing, Deep Learning, Data Mining, Decision Tree Learning, Computer Vision, Statistical Machine Learning

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

    Intermediate · Specialization · 3 - 6 Months

  • C

    Coursera

    Advanced RAG Patterns

    Skills you'll gain: Retrieval-Augmented Generation, Prompt Patterns, Agentic systems, Performance Testing, AI Workflows, Prompt Engineering, Data-Driven Decision-Making, Generative AI, Data Validation, Model Evaluation, Verification And Validation, A/B Testing, MLOps (Machine Learning Operations), Embeddings

    Intermediate · Course · 1 - 4 Weeks

  • U

    University of Alberta

    Reinforcement Learning

    Skills you'll gain: Reinforcement Learning, Machine Learning, Sampling (Statistics), Artificial Intelligence and Machine Learning (AI/ML), Machine Learning Algorithms, Artificial Intelligence, Deep Learning, Simulations, Feature Engineering, Markov Model, Supervised Learning, Algorithms, Model Evaluation, Artificial Neural Networks, Performance Testing, Performance Tuning, Pseudocode, Linear Algebra, Probability Distribution

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

    Intermediate · Specialization · 3 - 6 Months

  • Status: Bestseller
    Bestseller
    U

    University of Michigan

    Python 3 Programming

    Skills you'll gain: Unified Modeling Language, JSON, Object Oriented Programming (OOP), File I/O, Software Design, Debugging, Object Oriented Design, Data Processing, Web Scraping, Unit Testing, Programming Principles, Program Development, Python Programming, Data Import/Export, Restful API, Image Analysis, Data Manipulation, Jupyter, Computer Programming, Data Structures

    4.8
    Rating, 4.8 out of 5 stars
    ·
    23K reviews

    Beginner · Specialization · 3 - 6 Months

1…282930…383

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

  • Design and Build Scalable iOS Applications: EDUCBA
  • Fundamentals of Quantitative Modeling: University of Pennsylvania
  • IBM RAG and Agentic AI: IBM
  • Cybersecurity in the AI Era: University of Maryland, College Park
  • Econometrics: Methods and Applications: Erasmus University Rotterdam
  • Financial Management: University of Illinois Urbana-Champaign
  • Segment Routing in MPLS Networks: Packt
  • Blockchain Basics: University at Buffalo
  • Machine Learning: University of Washington
  • Advanced RAG Patterns: Coursera

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