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

Results for "quantitative model checking"


  • G

    Google Cloud

    Utiliser BigQuery Machine Learning pour l'inférence

    Skills you'll gain: Big Data, Data Analysis, Google Cloud Platform, Applied Machine Learning, Statistical Inference, Machine Learning Methods, SQL, Model Deployment

    Beginner · Course · 1 - 4 Weeks

  • G

    Google Cloud

    Utiliser des notebooks dans Vertex AI

    Skills you'll gain: Jupyter, MLOps (Machine Learning Operations), Google Cloud Platform, Model Deployment, AI Workflows, Data Preprocessing, Computing Platforms

    Beginner · Course · 1 - 4 Weeks

  • U

    Universidad de los Andes

    Analítica de datos: visualización, predicción y toma de decisiones Certificado MasterTrack®

    Skills you'll gain: Social Network Analysis, Network Analysis, Predictive Modeling, Financial Data, Marketing Analytics, Financial Modeling, Data Preprocessing, Advertising, New Product Development, Time Series Analysis and Forecasting, Machine Learning, Strategic Decision-Making, Blockchain, Operations Research, Model Deployment, Natural Language Processing, Mathematical Modeling, Random Forest Algorithm, Network Model, Systems Analysis

    Credit offered

    Mastertrack · 6 - 12 Months

  • G

    Google Cloud

    Responsible AI for Developers: Fairness & Bias - 日本語版

    Skills you'll gain: Responsible AI, Data Ethics, Open Source Technology, Google Cloud Platform, AI Security, Artificial Intelligence, Model Evaluation

    Intermediate · Course · 1 - 3 Months

  • I

    Indian Statistical Institute

    Postgraduate Diploma in Applied Statistics

    Skills you'll gain: Sampling (Statistics), Time Series Analysis and Forecasting, Sample Size Determination, Surveys, Statistical Machine Learning, NumPy, Spatial Data Analysis, Statistical Hypothesis Testing, Probability, Database Management Systems, Economics, Statistical Modeling, SQL, Probability & Statistics, Dimensionality Reduction, Statistical Methods, Lifelong Learning, Regression Analysis, Demography, International Finance

    Postgraduate Diploma · 6 - 12 Months

  • U

    University of Colorado Boulder

    Data Science Graduate Certificate

    Skills you'll gain: Model Evaluation, Data Mining, Supervised Learning, Unsupervised Learning, Service Level, Dimensionality Reduction, Deep Learning, Statistical Modeling, Probability, Applied Machine Learning, Anomaly Detection, Machine Learning Algorithms, Statistical Inference, Statistical Hypothesis Testing, Data Warehousing, Recurrent Neural Networks (RNNs), Regression Analysis, Performance Testing, Bash (Scripting Language), Data Science

    Credit offered

    Graduate Certificate · 6 - 12 Months

  • C

    Clemson University

    Master of Science in Computer Science

    Skills you'll gain: Human Computer Interaction, Dimensionality Reduction, Database Design, Database Management Systems, Generative AI, MySQL, Model Evaluation, Data Cleansing, Database Theory, Software Development Methodologies, Usability, Reinforcement Learning, Data Preprocessing, Data Mining, Data Structures, Responsible AI, Algorithms, Software Engineering, Artificial Intelligence, Human Factors

    Earn a degree

    Degree · 1 - 4 Years

  • P

    Pontificia Universidad Católica de Chile

    Diplomado en Analítica de los Negocios

    Skills you'll gain: Descriptive Analytics, Business Analytics, Model Evaluation, Plot (Graphics), Logistic Regression, Data Mining, Dimensionality Reduction, Visualization (Computer Graphics), Big Data, Analytics, Scientific Visualization, R Programming, Data Management, Statistical Modeling, Data-Driven Decision-Making, Data Visualization Software, Predictive Modeling, Predictive Analytics, Data Modeling, Data Analysis

    Credit offered

    Mastertrack · 6 - 12 Months

  • Status: Free Trial
    Free Trial
    B

    Board Infinity

    Essential Testing Techniques in Software Development

    Skills you'll gain: Software Testing, Test Case, Integration Testing, System Testing, Software Development Life Cycle, Acceptance Testing, Software Quality Assurance, Unit Testing, White-Box Testing, Regression Testing, Usability Testing

    4.6
    Rating, 4.6 out of 5 stars
    ·
    23 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Preview
    Preview
    N

    Northeastern University

    Software Quality Control and Management Part 1

    Skills you'll gain: Software Quality Assurance, Scaled Agile Framework, Software Testing, DevOps, Test Automation, Browser Compatibility, Application Security, DevSecOps, Performance Testing, Software Development Life Cycle, Agile Methodology, Selenium (Software), Cybersecurity, Mobile Development Tools, Waterfall Methodology

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    Status: Preview
    Preview
    C

    Coursera

    Advanced Techniques in Embedded Software Testing

    Skills you'll gain: Code Coverage, Embedded Software, Real-Time Operating Systems, Performance Testing, System Testing, Software Testing, Verification And Validation, Embedded Systems, Test Case, Test Planning, Integration Testing, Simulations, Real Time Data, Safety and Security

    Advanced · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    U

    University of London

    Essential Mathematics for Computer Science

    Skills you'll gain: Computational Logic, Algorithms, Applied Mathematics, Advanced Mathematics, Mathematics and Mathematical Modeling, Deductive Reasoning, Mathematical Theory & Analysis, Trigonometry, Statistics, General Mathematics, Analysis, Graphing, Computer Science, Mathematical Modeling, Programming Principles, Business Mathematics, Business Logic, Algebra, Arithmetic, Problem Solving

    Build toward a degree

    Beginner · Specialization · 3 - 6 Months

1…404405406407

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

  • Utiliser BigQuery Machine Learning pour l'inférence: Google Cloud
  • Utiliser des notebooks dans Vertex AI: Google Cloud
  • Analítica de datos: visualización, predicción y toma de decisiones Certificado MasterTrack®: Universidad de los Andes
  • Responsible AI for Developers: Fairness & Bias - 日本語版: Google Cloud
  • Postgraduate Diploma in Applied Statistics: Indian Statistical Institute
  • Data Science Graduate Certificate: University of Colorado Boulder
  • Master of Science in Computer Science: Clemson University
  • Diplomado en Analítica de los Negocios: Pontificia Universidad Católica de Chile
  • Essential Testing Techniques in Software Development: Board Infinity
  • Software Quality Control and Management Part 1: Northeastern University

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