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

Results for "quantitative model checking"


  • E

    EDUCBA

    Analyze and Predict Shipping Time Using Machine Learning

    Skills you'll gain: Feature Engineering, Data Preprocessing, Model Evaluation, Customer Demand Planning, Inventory Management System, Logistics, Forecasting, Exploratory Data Analysis, Supply Chain, Data Quality, Predictive Modeling, Applied Machine Learning, Correlation Analysis, Transportation Operations, Statistical Analysis, Data Analysis, Machine Learning

    Beginner · Course · 1 - 4 Weeks

  • 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

  • E

    EDUCBA

    Learn & Build Machine Learning Models with Python

    Skills you'll gain: Matplotlib, NumPy, Pandas (Python Package), Model Evaluation, Data Preprocessing, Regression Analysis, Scikit Learn (Machine Learning Library), Data Manipulation, Machine Learning, Feature Engineering, Exploratory Data Analysis, Applied Machine Learning, Supervised Learning, Python Programming

    Intermediate · Course · 1 - 4 Weeks

  • P

    Packt

    TradeStation EasyLanguage for Algorithmic Trading

    Skills you'll gain: Financial Trading, Artificial Intelligence, Market Trend, Machine Learning Methods, Technical Analysis, Algorithms, Securities Trading, Futures Exchange, Portfolio Risk, Risk Management, Model Evaluation, Market Data, Machine Learning Algorithms, Machine Learning, Data Validation, Trend Analysis, Performance Analysis, Statistical Programming, Scripting Languages, Finance

    Beginner · Course · 1 - 3 Months

  • C

    Coursera

    Product Analytics for Prioritization & Data-Driven Decisions

    Skills you'll gain: Data Storytelling, Strategic Prioritization, Web Analytics, Product Roadmaps, Business Analytics, Analytics, Product Management, Data-Driven Decision-Making, Predictive Modeling, Prioritization, Customer Analysis, Root Cause Analysis, Performance Analysis, Forecasting, User Flows, Performance Metric, Customer Retention, Data Capture, Resource Allocation, Statistical Methods

    Intermediate · Course · 3 - 6 Months

  • E

    EDUCBA

    Analyze Business Data Using Excel Pivot Tables

    Skills you'll gain: Data Visualization, Dashboard, Pivot Tables And Charts, Microsoft Excel, Business Reporting, Excel Formulas, Case Studies, Business Intelligence, Performance Analysis, Business Analytics, Variance Analysis, Trend Analysis, Data Manipulation, Human Resources Information System (HRIS), Budgeting, Data Analysis, Project Documentation, Issue Tracking, Data Presentation, Data Validation

    Beginner · Specialization · 1 - 3 Months

  • R

    Rutgers the State University of New Jersey

    Global Procurement and Sourcing

    Skills you'll gain: Strategic Sourcing, Supplier Management, Procurement, Supplier Relationship Management, Supplier Performance Management, Negotiation, Vendor Management, Contract Negotiation, Request For Quotation (RFQ), Case Studies, Stakeholder Management, Contract Management, Purchasing, Market Analysis, Request for Proposal, Competitive Analysis, Risk Management, Vendor Contracts, Supply Management, Business Ethics

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

    Beginner · Specialization · 3 - 6 Months

  • C

    Coursera

    Build BI Pipelines

    Skills you'll gain: Looker (Software), Data Pipelines, Data Transformation, Dashboard, Automation, Scripting, Business Intelligence, Extract, Transform, Load, Data Processing, Data Warehousing, Data Integrity, Data Quality, Google Cloud Platform, Data Validation, Marketing Analytics, Auditing, SQL

    Intermediate · Course · 1 - 4 Weeks

  • G

    Google Cloud

    利用 Cloud Run 部署和扩缩 AI 模型

    Skills you'll gain: Model Deployment, Serverless Computing, Google Cloud Platform, Generative AI, Cloud Deployment, Containerization, Performance Tuning, Scalability

    Beginner · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Master Power BI Analytics & Dashboards with DAX

    Skills you'll gain: Data Analysis Expressions (DAX), Power BI, Dashboard, Data Modeling, Data Import/Export, Interactive Data Visualization, Microsoft Power Platform, Data Cleansing, Business Intelligence, Data Transformation, Data Visualization Software, Data Sharing, Role-Based Access Control (RBAC), Security Strategy, Key Performance Indicators (KPIs)

    Beginner · Course · 1 - 3 Months

  • E

    EDUCBA

    Build and Implement an Asset Management System in VB.NET

    Skills you'll gain: Database Design, Relational Databases, Event-Driven Programming, Database Application, .NET Framework, Visual Basic (Programming Language), Maintainability, Service Management, Application Design, Business Logic, SQL, Data Validation, Debugging, User Interface (UI)

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Accounting Assistant

    Skills you'll gain: Accounts Payable and Receivable, Accounts Payable, Bookkeeping, Generally Accepted Accounting Principles (GAAP), Cash Flow Forecasting, Month End Closing, Financial Statements, Payroll Processing, Business Workflow Analysis, Billing & Invoicing, Accounting, Accounting Software, Reconciliation, Invoicing, General Ledger, Microsoft Excel, Internal Auditing, Variance Analysis, Data Transformation, Data Validation

    Beginner · Professional Certificate · 3 - 6 Months

1…464748…393

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

  • Analyze and Predict Shipping Time Using Machine Learning: EDUCBA
  • Building AI Intensive Python Applications: Packt
  • Learn & Build Machine Learning Models with Python: EDUCBA
  • TradeStation EasyLanguage for Algorithmic Trading: Packt
  • Product Analytics for Prioritization & Data-Driven Decisions: Coursera
  • Analyze Business Data Using Excel Pivot Tables: EDUCBA
  • Global Procurement and Sourcing: Rutgers the State University of New Jersey
  • Build BI Pipelines: Coursera
  • 利用 Cloud Run 部署和扩缩 AI 模型: Google Cloud
  • Master Power BI Analytics & Dashboards with DAX: EDUCBA

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