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

Results for "quantitative model checking"


  • 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

  • C

    Coursera

    Document AI: Project & API Writing

    Skills you'll gain: Software Documentation, Engineering Documentation, Technical Documentation, Technical Writing, Technical Communication

    Intermediate · Course · 1 - 4 Weeks

  • I

    Icahn School of Medicine at Mount Sinai

    Systems Biology and Biotechnology

    Skills you'll gain: Matlab, Bioinformatics, Quantitative Research, Unsupervised Learning, Data Synthesis, Research, Mathematical Modeling, Molecular Biology, Pharmacology, Science and Research, Cell Biology, Biotechnology, Biomedical Technology, Scientific Methods, Physiology, Differential Equations, Computational Logic, Biochemistry, Network Analysis, Biology

    4.4
    Rating, 4.4 out of 5 stars
    ·
    989 reviews

    Intermediate · Specialization · 3 - 6 Months

  • E

    EDUCBA

    Analyze and Visualize Business Data with Power BI

    Skills you'll gain: Power BI, Data Modeling, Analytical Skills, Data Presentation, Analysis, Business Reporting, Data Management, Data Storytelling, Data Manipulation, Business Analytics, Management Reporting, Real Time Data, Analytics, Visualization (Computer Graphics), Ad Hoc Reporting, Customer Analysis, Time Series Analysis and Forecasting, Marketing Analytics, Data Security, Profit and Loss (P&L) Management

    Beginner · Specialization · 3 - 6 Months

  • M

    Meta

    Django Web Framework

    Skills you'll gain: Django (Web Framework), Web Development, Web Servers, Web Applications, Data Modeling, Back-End Web Development, MySQL, Application Security, Database Development, Model View Controller, Object-Relational Mapping, Application Frameworks, Database Management, Hypertext Markup Language (HTML)

    4.7
    Rating, 4.7 out of 5 stars
    ·
    668 reviews

    Beginner · Course · 1 - 3 Months

  • O

    O.P. Jindal Global University

    Statistical Methods for Psychological Research

    Skills you'll gain: Correlation Analysis, Research Design, Regression Analysis, Statistical Methods, Statistical Hypothesis Testing, Analysis, Statistical Inference, Statistical Analysis, Data Literacy, Quantitative Research, Descriptive Statistics, Probability & Statistics, Sampling (Statistics), Probability Distribution

    Beginner · Course · 3 - 6 Months

  • P

    Packt

    Generative AI & AWS AI Practitioner Certification

    Skills you'll gain: Responsible AI, Amazon Bedrock, Generative AI, AWS SageMaker, Large Language Modeling, Amazon Web Services, Machine Learning, Supervised Learning, Model Evaluation, Model Deployment, Artificial Intelligence, MLOps (Machine Learning Operations), Unsupervised Learning, Transfer Learning, Natural Language Processing

    Intermediate · Course · 1 - 3 Months

  • E

    EDUCBA

    Build Cloud-Based Employee Management Systems

    Skills you'll gain: MySQL, Cloud Development, Google Cloud Platform, Cloud Computing, Back-End Web Development, Restful API, Data Persistence, Verification And Validation, Systems Architecture, Databases, Database Design, Application Development

    Beginner · Course · 1 - 4 Weeks

  • U

    University of Michigan

    Interactivity with JavaScript

    Skills you'll gain: Javascript, Debugging, Web Content Accessibility Guidelines, Interactive Design, Event-Driven Programming, Web Design and Development, HTML and CSS, Web Development, User Interface (UI)

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

    Beginner · Course · 1 - 4 Weeks

  • U

    University of Alberta

    Fundamentals of Reinforcement Learning

    Skills you'll gain: Reinforcement Learning, Machine Learning, Machine Learning Algorithms, Artificial Intelligence, Markov Model, Algorithms, Probability Distribution

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

    Intermediate · Course · 1 - 3 Months

  • C

    Coursera

    AI-Driven Financial Planning, Forecasting, and Automation

    Skills you'll gain: Financial Forecasting, Financial Data, Variance Analysis, Financial Analysis, Budgeting, Financial Modeling, Cash Flow Forecasting, Cost Management, Supervised Learning, Financial Planning, Predictive Modeling, Risk Modeling, Data-Driven Decision-Making, Business Analytics, Risk Analysis, Credit Risk, Model Evaluation, Data Pipelines, Automation

    Intermediate · Course · 1 - 3 Months

  • U

    University of Illinois at Urbana-Champaign

    Mergers & Acquisitions Graduate Certificate

    Skills you'll gain: Business Strategy, Data Visualization, Data Storytelling, Management Accounting, Model Evaluation, Fund Accounting, Operations Management, Organizational Change, Audit Planning, Mergers & Acquisitions, Financial Statement Analysis, Project Closure, Risk Management, Social Determinants Of Health, Revenue Recognition, Entrepreneurship, Data Governance, Financial Auditing, Generative AI, Supply And Demand

    Credit offered

    Graduate Certificate · 6 - 12 Months

1…727374…398

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

  • SAS Programmer: SAS
  • Document AI: Project & API Writing: Coursera
  • Systems Biology and Biotechnology: Icahn School of Medicine at Mount Sinai
  • Analyze and Visualize Business Data with Power BI: EDUCBA
  • Django Web Framework : Meta
  • Statistical Methods for Psychological Research: O.P. Jindal Global University
  • Generative AI & AWS AI Practitioner Certification: Packt
  • Build Cloud-Based Employee Management Systems : EDUCBA
  • Interactivity with JavaScript: University of Michigan
  • Fundamentals of Reinforcement Learning: University of Alberta

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