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

Results for "quantitative model checking"


  • Status: Free Trial
    Free Trial
    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
    ·
    648 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Alberta

    Design Patterns

    Skills you'll gain: Model View Controller, Software Design Patterns, Software Design, Unified Modeling Language, Object Oriented Design, Code Review, Software Architecture, Programming Principles, Maintainability, Java, Application Design

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

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    G

    Google

    Google Business Intelligence

    Skills you'll gain: Data Modeling, Stakeholder Engagement, Database Design, Dashboard, Business Intelligence, Extract, Transform, Load, Tableau Software, Databases, Data Warehousing, Database Systems, Data Pipelines, Data-Driven Decision-Making, Data Visualization, Interviewing Skills, Business Process, Business Analysis, Professional Development, Google Gemini, Data Analysis, SQL

    Build toward a degree

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

    Advanced · Professional Certificate · 3 - 6 Months

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

    EDUCBA

    Spring Framework: Build Online Shopping Apps

    Skills you'll gain: Spring Framework, Web Applications, Java Platform Enterprise Edition (J2EE), Java, Object Oriented Design, Back-End Web Development, Authentications, Application Development, Software Design, Database Design, Model View Controller, Databases

    Mixed · Course · 1 - 4 Weeks

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

    EDUCBA

    Blender Car Modeling & Rendering: Build & Export

    Skills you'll gain: 3D Modeling, Unreal Engine, 3D Assets, Computer Graphics, Visualization (Computer Graphics), Data Import/Export

    Mixed · Course · 1 - 4 Weeks

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

    EDUCBA

    Market Research & Business Intelligence Mastery

    Skills you'll gain: Market Research, Market Analysis, Marketing, Research Methodologies, Research, Business Research, Research Reports, Research Design, Competitive Analysis, Market Intelligence, Quantitative Research, Consumer Behaviour, Global Marketing, Market Trend, Surveys, Customer Analysis, Analytical Skills, Case Studies, Report Writing, Business Strategy

    Beginner · Specialization · 1 - 3 Months

  • Status: New
    New
    Status: Preview
    Preview
    E

    EDUCBA

    JSP: Build Dynamic Web Apps with Case Study

    Skills you'll gain: Model View Controller, Software Design Patterns, Java Platform Enterprise Edition (J2EE), Project Design, Web Applications, Back-End Web Development, Server Side, Integrated Development Environments, Employee Performance Management, Registration, Databases, Authentications

    Mixed · Course · 1 - 4 Weeks

  • Status: New
    New
    B

    Birla Institute of Technology & Science, Pilani

    Graphs and Networks

    Skills you'll gain: Graph Theory, Network Analysis, Social Network Analysis, Combinatorics, Network Model, Mathematical Modeling, Data Structures, Transportation Operations, Image Analysis, Algorithms, Theoretical Computer Science, Artificial Intelligence and Machine Learning (AI/ML), Problem Solving

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of California, Davis

    Health Information Literacy for Data Analytics

    Skills you'll gain: Data Governance, Data Quality, Data Integration, Data Dictionary, Data Validation, Health Informatics, Data Modeling, Extract, Transform, Load, Data Synthesis, Health Systems, Fraud detection, Data Management, Metadata Management, Health Care, Analytics, Clinical Data Management, Healthcare Industry Knowledge, Data Analysis, Health Information Management, Data Literacy

    4.5
    Rating, 4.5 out of 5 stars
    ·
    291 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    Status: AI skills
    AI skills
    I

    IBM

    IBM Deep Learning with PyTorch, Keras and Tensorflow

    Skills you'll gain: PyTorch (Machine Learning Library), Keras (Neural Network Library), Deep Learning, Reinforcement Learning, Unsupervised Learning, Artificial Neural Networks, Machine Learning Methods, Generative AI, Tensorflow, Artificial Intelligence and Machine Learning (AI/ML), Image Analysis, Computer Vision, Statistical Modeling, Artificial Intelligence, Geospatial Information and Technology, Machine Learning, Regression Analysis, Data Pipelines, Network Architecture, Network Model

    4.5
    Rating, 4.5 out of 5 stars
    ·
    4.1K reviews

    Intermediate · Professional Certificate · 3 - 6 Months

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

    EDUCBA

    Market Research: Analyze, Apply & Evaluate

    Skills you'll gain: Market Research, Market Analysis, Business Research, Research Reports, Market Intelligence, Competitive Analysis, Quantitative Research, Analytical Skills, Case Studies, Report Writing, Analysis, Strategic Decision-Making, Business Strategy, Business Acumen

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    I

    IBM

    Generative AI Fundamentals

    Skills you'll gain: Prompt Engineering, Prompt Patterns, Generative AI, Generative Model Architectures, ChatGPT, Responsible AI, OpenAI, AI Product Strategy, Data Ethics, Large Language Modeling, Leadership and Management, LLM Application, Strategic Leadership, Risking, Business Ethics, Legal Risk, Artificial Intelligence and Machine Learning (AI/ML), Business Development, Deep Learning, Content Creation

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

    Beginner · Specialization · 3 - 6 Months

1…222324…274

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

  • Django Web Framework : Meta
  • Design Patterns: University of Alberta
  • Google Business Intelligence: Google
  • Spring Framework: Build Online Shopping Apps: EDUCBA
  • Blender Car Modeling & Rendering: Build & Export: EDUCBA
  • Market Research & Business Intelligence Mastery: EDUCBA
  • JSP: Build Dynamic Web Apps with Case Study: EDUCBA
  • Graphs and Networks: Birla Institute of Technology & Science, Pilani
  • Health Information Literacy for Data Analytics: University of California, Davis
  • IBM Deep Learning with PyTorch, Keras and Tensorflow: IBM

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

  • Artificial Intelligence (AI)
  • Cybersecurity
  • Data Analytics
  • Digital Marketing
  • English Speaking
  • Generative AI (GenAI)
  • Microsoft Excel
  • Microsoft Power BI
  • Project Management
  • Python

Certificates & Programs

  • Google Cybersecurity Certificate
  • Google Data Analytics Certificate
  • Google IT Support Certificate
  • Google Project Management Certificate
  • Google UX Design Certificate
  • IBM Data Analyst Certificate
  • IBM Data Science Certificate
  • Machine Learning Certificate
  • Microsoft Power BI Data Analyst Certificate
  • UI / UX Design Certificate

Industries & Careers

  • Business
  • Computer Science
  • Data Science
  • Education & Teaching
  • Engineering
  • Finance
  • Healthcare
  • Human Resources (HR)
  • Information Technology (IT)
  • Marketing

Career Resources

  • Career Aptitude Test
  • Examples of Strengths and Weaknesses for Job Interviews
  • High-Income Skills to Learn
  • How Does Cryptocurrency Work?
  • How to Highlight Duplicates in Google Sheets
  • How to Learn Artificial Intelligence
  • Popular Cybersecurity Certifications
  • Preparing for the PMP Certification
  • Signs You Will Get the Job After an Interview
  • What Is Artificial Intelligence?

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
© 2025 Coursera Inc. All rights reserved.
  • Coursera Facebook
  • Coursera Linkedin
  • Coursera Twitter
  • Coursera YouTube
  • Coursera Instagram
  • Coursera TikTok