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

Results for "quantitative model checking"


  • I

    Icahn School of Medicine at Mount Sinai

    Systems Biology and Biotechnology

    Skills you'll gain: Matlab, Bioinformatics, Quantitative Research, Unsupervised Learning, Data Synthesis, Research, Mathematical Modeling, Molecular Biology, Pharmacology, Science and Research, Cell Biology, Biotechnology, Biomedical Technology, Scientific Methods, Physiology, Differential Equations, Computational Logic, Biochemistry, Network Analysis, Biology

    4.4
    Rating, 4.4 out of 5 stars
    ·
    988 reviews

    Intermediate · Specialization · 3 - 6 Months

  • C

    Coursera

    Hands-on Agentic AI: Building Intelligent Agents

    Skills you'll gain: Model Context Protocol, Responsible AI, LangGraph, AI Orchestration, AI Workflows, LangChain, Agentic systems, System Monitoring, CrewAI, OpenAI API, Generative AI Agents, LLM Application, Tool Calling, Agentic Workflows, Compliance Management, Governance, AI Security, Continuous Monitoring, Artificial Intelligence, Enterprise Application Management

    2.3
    Rating, 2.3 out of 5 stars
    ·
    11 reviews

    Intermediate · Specialization · 3 - 6 Months

  • C

    Coursera

    LLM Engineering That Works: Prompting, Tuning, and Retrieval

    Skills you'll gain: Responsible AI, MLOps (Machine Learning Operations), Model Deployment, Feature Engineering, Product Requirements, Prompt Engineering, Data Ethics, Prompt Patterns, LLM Application, Kubernetes, AI Security, Systems Architecture, Large Language Modeling, Software Architecture, Test Automation, Model Evaluation, PyTorch (Machine Learning Library), Apache Airflow, Data Pipelines, SQL

    Intermediate · Specialization · 3 - 6 Months

  • A

    Alex Genadinik

    Introduction to Stablecoins: How And When To Use Them

    Skills you'll gain: Market Liquidity, Payment Systems, Blockchain, Financial Analysis, Risk Management, Digital Assets, FinTech, Financial Regulation, Financial Trading, International Finance

    Mixed · Course · 1 - 3 Months

  • E

    EDUCBA

    Build and Implement SOAP APIs for Employee Services

    Skills you'll gain: Simple Object Access Protocol (SOAP), Service Oriented Architecture, Enterprise Architecture, Web Services, Data Integration, Application Programming Interface (API), Data Modeling, Back-End Web Development, API Design, Server Side, Extensible Markup Language (XML), Application Development

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Billing & Accelerate Collections

    Skills you'll gain: Billing, Invoicing, Payment Processing and Collection, Accounts Receivable, Financial Data, Business Metrics, Cash Management, Accounting, Prioritization, Cash Flows, Compliance Management, Data Validation

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Extract, Map, and Analyze Clinical Data

    Skills you'll gain: Epic EMR, Health Informatics, Data Mapping, Clinical Informatics, Clinical Data Management, Data Dictionary, Electronic Data Capture (EDC), Health Information Management, Data Analysis, Patient-centered Care, Electronic Medical Record, Extract, Transform, Load, Data Transformation, Data Integrity, Data Quality, Data Validation, Data Collection, Data Access

    Beginner · Course · 1 - 4 Weeks

  • Y

    Yale University

    The Global Financial Crisis

    Skills you'll gain: Crisis Management, Financial Policy, Mortgage Loans, Financial Regulation, Financial Systems, Public Policies, Credit Risk, Risk Management Framework, Financial Market, Consumer Lending, International Finance, Banking, Financial Analysis, Economics

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

    Mixed · Course · 3 - 6 Months

  • E

    EDUCBA

    Build AngularJS Mobile Apps with Practical Case Studies

    Skills you'll gain: Angular, Mobile Development, Service Design, Front-End Web Development, UI Components, Data Validation, Application Development, Application Frameworks, Service Oriented Architecture, JavaScript Frameworks, Business Logic

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Manage Schema Evolution in Real‑Time Data

    Skills you'll gain: Data Pipelines, Apache Kafka, Operational Databases, Continuous Monitoring, Data Integrity, Real Time Data, Data Warehousing, Data Modeling, Software Versioning, Continuous Integration, Data Validation, Automation, Warehouse Management, Automation Engineering

    Intermediate · Course · 1 - 4 Weeks

  • G

    Google Cloud

    AI Infrastructure : introduction à AI Hypercomputer

    Skills you'll gain: Application Deployment, Cloud Deployment, Model Deployment, Google Cloud Platform, Cloud Infrastructure, Infrastructure Architecture, Artificial Intelligence, Hardware Architecture, Performance Tuning, Cloud Computing, Computer Hardware

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Transform Audio: Extract Features & Augment Models

    Skills you'll gain: Data Preprocessing, Applied Machine Learning, Feature Engineering, Digital Signal Processing, Data Transformation, Model Evaluation, Time Series Analysis and Forecasting, Data Pipelines, Data Manipulation, Data Wrangling, System Design and Implementation, NumPy

    Intermediate · Course · 1 - 4 Weeks

1…495051…391

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

  • Systems Biology and Biotechnology: Icahn School of Medicine at Mount Sinai
  • Hands-on Agentic AI: Building Intelligent Agents: Coursera
  • LLM Engineering That Works: Prompting, Tuning, and Retrieval: Coursera
  • Introduction to Stablecoins: How And When To Use Them: Alex Genadinik
  • Build and Implement SOAP APIs for Employee Services: EDUCBA
  • Billing & Accelerate Collections: Coursera
  • Extract, Map, and Analyze Clinical Data: Coursera
  • The Global Financial Crisis: Yale University
  • Build AngularJS Mobile Apps with Practical Case Studies: EDUCBA
  • Manage Schema Evolution in Real‑Time Data: Coursera

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