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

Results for "quantitative model checking"


  • Status: New
    New
    P

    Packt

    Autodesk Civil 3D 2025 Unleashed

    Skills you'll gain: AutoCAD Civil 3D, Autodesk Revit, Autodesk, Grading (Landscape), AutoCAD, Drafting and Engineering Design, Design Specifications, Network Model, Engineering Analysis, Design, Design and Product, Data Management

    Beginner · Course · 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: Preview
    Preview
    U

    Universitat Autònoma de Barcelona

    Primeros Auxilios Psicológicos (PAP)

    Skills you'll gain: Crisis Intervention, Emergency Response, First Aid, Emergency Services, De-escalation Techniques, Stress Management, Disabilities, Trauma Care, Mental Health, Family Support, Psychology, Cultural Sensitivity, Working With Children, Child Development, Interpersonal Communications, Patient Communication

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

    Beginner · Course · 1 - 3 Months

  • 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, Santa Cruz

    Bayesian Statistics

    Skills you'll gain: Time Series Analysis and Forecasting, Bayesian Statistics, R Programming, Forecasting, Statistical Inference, Statistical Modeling, Technical Communication, Data Presentation, Statistics, Probability, Statistical Analysis, Statistical Software, R (Software), Data Analysis, Mathematical Modeling, Microsoft Excel, Markov Model, Statistical Methods, Data Science, Probability Distribution

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

    Intermediate · Specialization · 3 - 6 Months

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

    EDUCBA

    Python GUI: Design, Manage & Deliver

    Skills you'll gain: User Interface (UI), UI Components, Software Design, Maintainability, Application Development, Microsoft Windows, Object Oriented Programming (OOP), Python Programming, File Management, Data Validation

    Mixed · Course · 1 - 4 Weeks

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

    EDUCBA

    3DS Max Character Modeling: Build & Refine

    Skills you'll gain: 3D Modeling, 3D Assets, Animation and Game Design, Computer Graphics

    Mixed · Course · 1 - 4 Weeks

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

    EDUCBA

    Microsoft Excel Mastery: From Basics to Pro Skills

    Skills you'll gain: Microsoft Excel, Pivot Tables And Charts, Excel Formulas, Spreadsheet Software, Business Reporting, Data Visualization, Excel Macros, Dashboard, Forecasting, Data Analysis, Data Visualization Software, Predictive Modeling, Data Validation, Productivity Software, Data Entry, Data Management, Financial Modeling, Data Security, Data Integrity, Computer Literacy

    4.9
    Rating, 4.9 out of 5 stars
    ·
    74 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Introduction to Data Analytics for Business

    Skills you'll gain: Data Governance, Data Storage Technologies, Analytics, Business Analytics, Data Storage, Big Data, Databases, Business Intelligence, Data Analysis, Relational Databases, Data Quality, SQL, Organizational Structure, Cloud Computing

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

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    N

    Northwestern University

    Organizational Leadership

    Skills you'll gain: Influencing, Persuasive Communication, Design Thinking, Data-Driven Decision-Making, Leadership, Strategic Communication, Innovation, Collaboration, Crisis Management, Negotiation, Organizational Leadership, Ideation, Team Leadership, Resource Allocation, Human Centered Design, Teamwork, Motivational Skills, Corporate Communications, Marketing Strategies, Marketing

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

    Intermediate · Specialization · 3 - 6 Months

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

    EDUCBA

    Keras Deep Learning Projects with TensorFlow

    Skills you'll gain: Natural Language Processing, Keras (Neural Network Library), Generative AI, Generative Model Architectures, Image Analysis, Artificial Neural Networks, Text Mining, Computer Vision, Tensorflow, Deep Learning, Feature Engineering, Performance Testing, Machine Learning Methods, Applied Machine Learning, Google Cloud Platform, Application Development, Data Processing, Systems Development, Python Programming, Data Transformation

    Beginner · Specialization · 1 - 3 Months

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

    Packt

    Advanced 3D Modeling and Architectural Design

    Skills you'll gain: 3D Modeling, 3D Assets, Architectural Design, Performance Tuning, Computer Graphics, Structural Engineering, Graphical Tools

    Advanced · Course · 1 - 3 Months

1…252627…274

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

  • Autodesk Civil 3D 2025 Unleashed: Packt
  • Spring Framework: Build Online Shopping Apps: EDUCBA
  • Primeros Auxilios Psicológicos (PAP): Universitat Autònoma de Barcelona
  • Graphs and Networks: Birla Institute of Technology & Science, Pilani
  • Bayesian Statistics: University of California, Santa Cruz
  • Python GUI: Design, Manage & Deliver: EDUCBA
  • 3DS Max Character Modeling: Build & Refine: EDUCBA
  • Microsoft Excel Mastery: From Basics to Pro Skills: EDUCBA
  • Introduction to Data Analytics for Business: University of Colorado Boulder
  • Organizational Leadership: Northwestern 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

  • 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