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

Results for "quantitative model checking"


  • 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 Cleansing, Data Modeling, Extract, Transform, Load, Data Synthesis, Health Systems, Fraud detection, Data Management, Metadata Management, Health Care, Analytics, Clinical Data Management, Data Mapping, Healthcare Industry Knowledge, Value-Based Care

    4.5
    Rating, 4.5 out of 5 stars
    ·
    310 reviews

    Intermediate · Specialization · 3 - 6 Months

  • M

    Microsoft

    Data Modeling in Power BI

    Skills you'll gain: Data Analysis Expressions (DAX), Data Modeling, Star Schema, Power BI, Database Design, Data Warehousing, Business Intelligence, Data Analysis, Time Series Analysis and Forecasting, Performance Tuning, Data Visualization

    4.3
    Rating, 4.3 out of 5 stars
    ·
    811 reviews

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Boost RAG with Chroma

    Skills you'll gain: Retrieval-Augmented Generation, Generative AI, LangChain, LLM Application, Large Language Modeling, Embeddings, Vector Databases, AI Orchestration, Model Evaluation

    Intermediate · Course · 1 - 4 Weeks

  • U

    Universitat Politècnica de València

    IT Fundamentals for Business Profiles: Hardware

    Skills you'll gain: Computer Hardware, Computer Architecture, Networking Hardware, Hardware Architecture, Computer Systems, Information Technology, Data Storage, Facility Repair And Maintenance, Computer Networking, Peripheral Devices, Wireless Networks, Computer Security

    Intermediate · Course · 1 - 3 Months

  • P

    Pragmatic AI Labs

    Machine Learning with Databricks and MLflow

    Skills you'll gain: MLOps (Machine Learning Operations), Databricks, Apache Spark, Model Evaluation, Hugging Face, Data Architecture, Recurrent Neural Networks (RNNs), LLM Application, Data Science, Data Mining, Mathematical Modeling, Scala Programming, Continuous Monitoring, Rust (Programming Language), Lean Six Sigma, Statistical Inference, Artificial Intelligence, Functional Testing, Exploratory Data Analysis, Programming Principles

    Intermediate · Course · 1 - 4 Weeks

  • 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, Regression Testing, Test Case, Continuous Integration, Automation, Software Design Patterns, Web Development Tools, Maintainability, Python Programming, UI Components

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Balance and Analyze Image Segmentation

    Skills you'll gain: Failure Analysis, Applied Machine Learning, Spatial Data Analysis, Predictive Modeling, Statistical Machine Learning

    Intermediate · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Build & Apply Advanced iOS Apps with Swift

    Skills you'll gain: iOS Development, Apple iOS, Swift Programming, Application Lifecycle Management, UI Components, Application Design, Apple Xcode, Application Development, Application Programming Interface (API), Data Persistence, User Interface (UI), Mobile Development, Web Services, Secure Coding, Authentications, User Interface (UI) Design, Programming Principles, Data Validation, Data Management, JSON

    Beginner · Specialization · 3 - 6 Months

  • C

    Coursera

    Sync CRM Contacts

    Skills you'll gain: Customer Relationship Management (CRM) Software, Email Marketing, Data Mapping, Marketing Automation, Data Validation, Gmail, Marketing Operations, Data Integration, Marketing, Marketing Analytics, Customer Data Management, Data Import/Export, Operational Efficiency

    Beginner · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Develop and Deploy Java Web Apps Using Maven

    Skills you'll gain: Application Servers, Business Logic, Role-Based Access Control (RBAC), User Accounts, Data Validation

    Beginner · Course · 1 - 4 Weeks

  • E

    Edureka

    Prompt Engineering for LLMs

    Skills you'll gain: Prompt Engineering, Multimodal Prompts, Prompt Patterns, Prompt Engineering Tools, LLM Application, LangChain, Large Language Modeling, Responsible AI, Generative AI Agents, OpenAI, Generative AI, AI Personalization, Context Management, Natural Language Processing, CI/CD, Python Programming, Pandas (Python Package), Scalability, Application Development, Safety and Security

    Beginner · Course · 1 - 4 Weeks

  • P

    Packt

    Docker for AI/ML

    Skills you'll gain: Model Context Protocol, Docker (Software), Development Environment, Containerization, Large Language Modeling, Model Deployment, Hugging Face, MLOps (Machine Learning Operations), Artificial Intelligence and Machine Learning (AI/ML), AI Workflows, OpenAI API, Application Deployment, Jupyter, Command-Line Interface

    Intermediate · Course · 1 - 3 Months

1…848586…399

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

  • Health Information Literacy for Data Analytics: University of California, Davis
  • Data Modeling in Power BI: Microsoft
  • Boost RAG with Chroma: Coursera
  • IT Fundamentals for Business Profiles: Hardware: Universitat Politècnica de València
  • Machine Learning with Databricks and MLflow: Pragmatic AI Labs
  • Apply Selenium Automation Testing Using Python: EDUCBA
  • Balance and Analyze Image Segmentation: Coursera
  • Build & Apply Advanced iOS Apps with Swift: EDUCBA
  • Sync CRM Contacts: Coursera
  • Develop and Deploy Java Web Apps Using Maven: EDUCBA

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