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

Results for "quantitative model checking"


  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Financial Analyst: AI, Excel, and Power BI Skills

    Skills you'll gain: Financial Modeling, Financial Forecasting, Financial Statement Analysis, Risk Modeling, Capital Budgeting, Risk Management, Financial Auditing, Data Cleansing, Financial Data, Portfolio Risk, Financial Analysis, Data Storytelling, Descriptive Statistics, Risk Analysis, Budgeting, Credit Risk, Predictive Modeling, Power BI, Microsoft Excel, Data Visualization

    Intermediate · Professional Certificate · 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    L

    LearnQuest

    Microsoft Azure: AI, Infrastructure, and Data Solutions

    Skills you'll gain: Cloud Infrastructure, Microsoft Azure, Infrastructure As A Service (IaaS), Data Processing, Big Data, Apache Spark, Artificial Intelligence and Machine Learning (AI/ML), Databricks, Infrastructure Security, Data Pipelines, Virtual Networking, Azure DevOps, Virtual Machines, Azure Active Directory, Analytics, Active Directory, Network Security, Model Deployment, Python Programming, Role-Based Access Control (RBAC)

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

    Beginner · Specialization · 3 - 6 Months

  • Status: New
    New
    Status: Preview
    Preview
    U

    Universitat Politècnica de València

    Introducción a la genética vegetal

    Skills you'll gain: Life Sciences, Molecular Biology, Biotechnology, Biostatistics, Experimentation, Mathematical Modeling

    Beginner · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Automate and Verify Financial Statements

    Skills you'll gain: Excel Formulas, Financial Modeling, Reconciliation, Microsoft Excel, Financial Statements, Financial Reporting, Balance Sheet, Financial Data, Verification And Validation, Spreadsheet Software, Data Validation, Financial Analysis, Cash Flows, Income Statement, Automation

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    I

    IBM

    Introduction to Deep Learning & Neural Networks with Keras

    Skills you'll gain: Keras (Neural Network Library), Deep Learning, Transfer Learning, Artificial Neural Networks, Recurrent Neural Networks (RNNs), Convolutional Neural Networks, Image Analysis, Generative Model Architectures, Classification And Regression Tree (CART), Regression Analysis, Network Architecture, Natural Language Processing, Machine Learning, Model Evaluation

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

    Intermediate · Course · 1 - 3 Months

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

    EDUCBA

    Apply OpenCV for Real-Time Computer Vision Projects

    Skills you'll gain: Computer Vision, Image Analysis, Program Development, Data Science, Real Time Data, Python Programming, Development Environment, NumPy, Machine Learning Methods, System Design and Implementation, Motion Graphics, Model Deployment, Debugging, Software Installation

    Beginner · Specialization · 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Optimize PyTorch: Build and Accelerate Layers

    Skills you'll gain: PyTorch (Machine Learning Library), Deep Learning, Performance Analysis, Artificial Neural Networks, Resource Utilization

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    P

    Packt

    ChatGPT - Foundations

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Charts, HIPAA & Health Data: Medical Records and EHR

    Skills you'll gain: Patient Registration, Medical Privacy, Health Insurance Portability And Accountability Act (HIPAA) Compliance, Medical Records, Claims Processing, Registration, Health Information Management, Electronic Medical Record System, Clinic Management Systems, Electronic Medical Record, Records Management, Clinical Documentation, Patient Safety, Data Entry, Document Management, Health Informatics, Data Validation, Data Security, Data Integrity, Regulatory Compliance

    4
    Rating, 4 out of 5 stars
    ·
    9 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    S

    SAS

    SAS Programmer

    Skills you'll gain: Data Manipulation, SAS (Software), Data Access, Data Import/Export, Microsoft Excel, Data Analysis, Data Transformation, Exploratory Data Analysis, Data Validation, Statistical Analysis, Statistical Programming, Data Processing, Data Preprocessing, Data Integration, Data Cleansing, SQL, Descriptive Statistics, Computer Programming, Data Presentation, Debugging

    Build toward a degree

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

    Beginner · Professional Certificate · 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Deploying Open Models

    Skills you'll gain: Model Deployment, Docker (Software), Containerization, Cloud Deployment, MLOps (Machine Learning Operations), Hugging Face, Cloud Computing Architecture, Serverless Computing, Cloud Technologies, AWS SageMaker, System Monitoring, Release Management, Application Security, Infrastructure Security, Continuous Monitoring, Application Performance Management, Version Control

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    P

    Packt

    Master Inventory System – Unity 6 & Blender

    Skills you'll gain: 3D Assets, Unity Engine, 3D Modeling, Video Game Development, Debugging, User Interface (UI) Design, Game Design, User Interface and User Experience (UI/UX) Design, Computer Graphic Techniques, Program Development, Computer Graphics, Interaction Design, Integration Testing, Animation and Game Design, Scripting, C# (Programming Language), Technical Design, Graphics Software, Object Oriented Programming (OOP), Data Mapping

    Intermediate · Specialization · 3 - 6 Months

1…363738…406

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

  • Financial Analyst: AI, Excel, and Power BI Skills: Coursera
  • Microsoft Azure: AI, Infrastructure, and Data Solutions: LearnQuest
  • Introducción a la genética vegetal: Universitat Politècnica de València
  • Automate and Verify Financial Statements: Coursera
  • Introduction to Deep Learning & Neural Networks with Keras: IBM
  • Apply OpenCV for Real-Time Computer Vision Projects: EDUCBA
  • Optimize PyTorch: Build and Accelerate Layers: Coursera
  • ChatGPT - Foundations: Packt
  • Charts, HIPAA & Health Data: Medical Records and EHR: Coursera
  • SAS Programmer: SAS

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