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

Results for "quantitative model checking"


  • R

    Real Madrid Graduate School Universidad Europea

    Futuro de los datos y la tecnología - Echar un vistazo

    Skills you'll gain: Large Language Modeling, Image Analysis, Real Time Data, LLM Application, Analytics, Computer Vision, Advanced Analytics, Applied Machine Learning, Reinforcement Learning, Emerging Technologies, Data Analysis, Data-Driven Decision-Making, Data Integration, Artificial Intelligence, Analysis, Automation, Data Presentation, Natural Language Processing, Supervised Learning, Innovation

    Beginner · Course · 1 - 4 Weeks

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • G

    Google Cloud

    生成式 AI:掌握幕後技術與環境

    Skills you'll gain: Google Gemini, Generative AI Agents, Generative AI, Google Cloud Platform, Generative Model Architectures, Gemini, Responsible AI, AI Security, AI Product Strategy, AI literacy, Cloud Platforms, Cloud Infrastructure, Data Governance, Artificial Intelligence, Data Centers

    Beginner · Course · 1 - 3 Months

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • G

    Google Cloud

    Networking in Google Cloud: Network Architecture - 日本語版

    Skills you'll gain: Network Troubleshooting, Network Architecture, Network Planning And Design, Virtual Networking, Network Infrastructure, Network Monitoring, General Networking, Cloud Infrastructure, Computer Networking, Google Cloud Platform, Network Security, Network Analysis, Network Model, Security Requirements Analysis, Firewall, Scalability, Load Balancing

    Intermediate · Course · 1 - 4 Weeks

    Category: Credit offered
    Credit offered
  • E

    EDUCBA

    Apply Selenium Automation Testing Using Python

    Skills you'll gain: Selenium (Software), Test Automation, Behavior-Driven Development, Gherkin (Scripting Language), Software Testing, Unit Testing, Test Script Development, Test Tools, Test Case, Automation, Software Design Patterns, Web Development Tools, Maintainability, Python Programming, Code Reusability, UI Components

    Beginner · Course · 1 - 4 Weeks

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • E

    EDUCBA

    Apply C# Skills Through a Student Management Project

    Skills you'll gain: Data Modeling, User Interface (UI), C# (Programming Language), Microsoft Visual Studio, Application Development, User Interface and User Experience (UI/UX) Design, Data Management, Data Validation, Object Oriented Programming (OOP), Verification And Validation

    Beginner · Course · 1 - 4 Weeks

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • R

    Real Madrid Graduate School Universidad Europea

    Estrategias y enfoques en los medios deportivos

    Skills you'll gain: Storytelling, Social Media, Social Media Marketing, Social Media Strategy, Media Relations, Content Strategy, Content Creation, Paid media, Advertising, Brand Management, Strategic Partnership, Strategic Communication, Video Production, Target Audience, Revenue Management, Negotiation, Target Market, Community Development, Crisis Management, Planning

    Beginner · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • 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), Java, Web Applications, Java Programming, Code Reusability, Back-End Web Development, Server Side, Data Access, Integrated Development Environments, Databases, Authentications

    Mixed · Course · 1 - 4 Weeks

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • E

    EDUCBA

    Build Console Games in C: Apply Game Logic Skills

    Skills you'll gain: C (Programming Language), Game Design, Programming Principles, Video Game Development, System Programming, Program Development, Computational Logic, Data Validation, Command-Line Interface, Code Reusability, User Interface (UI), Data Structures

    Beginner · Course · 1 - 4 Weeks

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • E

    EDUCBA

    Analyze and Manage Hallucinations in Generative AI

    Skills you'll gain: Generative AI, LLM Application, AI literacy, Prompt Patterns, Prompt Engineering, Artificial Intelligence, Responsible AI, Large Language Modeling, Model Evaluation

    Beginner · Course · 1 - 4 Weeks

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • I

    Infosec

    Introduction to Secure Coding and Input Validation in iOS

    Skills you'll gain: iOS Development, Open Web Application Security Project (OWASP), Swift Programming, Mobile Security, Mobile Development, Secure Coding, Knowledge of Apple Hardware, IT Security Architecture, Application Security, Data Validation, Application Programming Interface (API), JSON

    Intermediate · Course · 1 - 4 Weeks

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • C

    Coursera

    Analyze and Optimize Marketing Channel Performance

    Skills you'll gain: Marketing Budgets, Marketing Effectiveness, Conversion Funnel Analysis, Google Analytics, Marketing Analytics, Marketing Strategies, Marketing Channel, Data-Driven Marketing, Performance marketing, Budgeting, Data Validation, Web Analytics, Real Time Data, Performance Analysis, Verification And Validation, Event Monitoring, Digital Marketing Tools, Data Capture, Data Quality

    Beginner · Course · 1 - 4 Weeks

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • C

    Coursera

    Lead and Evaluate AI Project Implementations

    Skills you'll gain: Acceptance Testing, Project Coordination, Model Deployment, Quality Assurance, User Acceptance Testing (UAT), Verification And Validation, Coordination, Product Quality (QA/QC), Quality Assurance and Control, Plan Execution, Workflow Management, Application Deployment, Issue Tracking

    Intermediate · Course · 1 - 4 Weeks

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
1…404405406…443

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

  • Futuro de los datos y la tecnología - Echar un vistazo : Real Madrid Graduate School Universidad Europea
  • 生成式 AI:掌握幕後技術與環境: Google Cloud
  • Networking in Google Cloud: Network Architecture - 日本語版: Google Cloud
  • Apply Selenium Automation Testing Using Python: EDUCBA
  • Apply C# Skills Through a Student Management Project: EDUCBA
  • Estrategias y enfoques en los medios deportivos: Real Madrid Graduate School Universidad Europea
  • JSP: Build Dynamic Web Apps with Case Study: EDUCBA
  • Build Console Games in C: Apply Game Logic Skills: EDUCBA
  • Analyze and Manage Hallucinations in Generative AI: EDUCBA
  • Introduction to Secure Coding and Input Validation in iOS: Infosec

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