• 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 Illinois at Urbana-Champaign

    Graduate Certificate in Taxation

    Skills you'll gain: Business Strategy, Data Visualization, Data Storytelling, Management Accounting, Model Evaluation, Fund Accounting, Operations Management, Organizational Change, Audit Planning, Mergers & Acquisitions, Financial Statement Analysis, Project Closure, Risk Management, Social Determinants Of Health, Revenue Recognition, Entrepreneurship, Data Governance, Financial Auditing, Generative AI, Supply And Demand

    Credit offered

    Graduate Certificate · 6 - 12 Months

  • E

    EDUCBA

    Build iOS Apps with Swift UI Components

    Skills you'll gain: Application Lifecycle Management, User Interface (UI) Design, Data Validation, Data Management

    Beginner · Course · 1 - 3 Months

  • L

    LearnQuest

    Close, Negotiate, and Amplify Virtual Sales Success

    Skills you'll gain: Overcoming Objections, Closing (Sales), Sales, Sales Training, Sales Strategy, Sales Process, Negotiation, Customer Success Management, Customer Relationship Building, Customer Relationship Management, Customer Retention, Contract Management, Stakeholder Engagement

    Beginner · Course · 1 - 4 Weeks

  • G

    Google Cloud

    Implementa y escala modelos de IA con Cloud Run

    Skills you'll gain: Model Deployment, Cloud Deployment, Serverless Computing, Google Cloud Platform, Generative AI, Containerization, Performance Tuning, Scalability

    Beginner · Course · 1 - 4 Weeks

  • U

    University of Colorado Boulder

    Master of Science in Electrical and Computer Engineering

    Skills you'll gain: Prompt Engineering, User Story, New Product Development, Model Based Systems Engineering, Model Evaluation, Failure Analysis, Sustainable Business, Data Mining, Field-Programmable Gate Array (FPGA), Delegation Skills, Real-Time Operating Systems, Object Oriented Design, Sampling (Statistics), Proposal Writing, Supplier Management, Accountability, Data Ethics, Sustainability Reporting, Database Design, Supervised Learning

    Earn a degree

    Degree · 1 - 4 Years

  • U

    University of Illinois at Urbana-Champaign

    Master of Science in Accounting | iMSA

    Skills you'll gain: Business Strategy, Data Visualization, Data Storytelling, Management Accounting, Model Evaluation, Fund Accounting, Operations Management, Organizational Change, Audit Planning, Mergers & Acquisitions, Financial Statement Analysis, Project Closure, Risk Management, Social Determinants Of Health, Revenue Recognition, Entrepreneurship, Data Governance, Financial Auditing, Generative AI, Supply And Demand

    Earn a degree

    Degree · 1 - 4 Years

  • C

    Coursera

    Foundations of Open Generative AI Engineering

    Skills you'll gain: Generative Model Architectures, Large Language Modeling, Generative AI, Open Source Technology, Image Analysis, Model Evaluation, Model Deployment, Scalability, Data Security

    Intermediate · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Apply RxSwift to Build Reactive iOS E-Commerce Apps

    Skills you'll gain: Swift Programming, Apple iOS, Application Development, Mobile Development, Software Architecture, Application Design, Secure Coding, Software Design Patterns, UI Components, Data Validation, User Interface (UI)

    Intermediate · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Build and Deploy Chatbots Using Dialogflow

    Skills you'll gain: Context Management, Artificial Intelligence, Performance Testing, Natural Language Processing, Integration Testing, Web Services, Business Logic, Data Validation, System Configuration

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Vision Models: Train and Evaluate

    Skills you'll gain: Failure Analysis, Deep Learning, Applied Machine Learning, Data Pipelines, Performance Metric

    Intermediate · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Apply R Techniques for Telecom Customer Churn Prediction

    Skills you'll gain: Feature Engineering, Data Preprocessing, Applied Machine Learning, Model Evaluation, R Programming, Data Transformation, Data Manipulation, Data Cleansing, Predictive Modeling, Predictive Analytics, Supervised Learning, Classification Algorithms, Machine Learning Algorithms

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Fine-Tuning and Evaluating Vision AI Models

    Intermediate · Course · 3 - 6 Months

1…757677…398

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

  • Graduate Certificate in Taxation: University of Illinois at Urbana-Champaign
  • Build iOS Apps with Swift UI Components: EDUCBA
  • Close, Negotiate, and Amplify Virtual Sales Success: LearnQuest
  • Implementa y escala modelos de IA con Cloud Run: Google Cloud
  • Master of Science in Electrical and Computer Engineering: University of Colorado Boulder
  • Master of Science in Accounting | iMSA: University of Illinois at Urbana-Champaign
  • Foundations of Open Generative AI Engineering: Coursera
  • Apply RxSwift to Build Reactive iOS E-Commerce Apps: EDUCBA
  • Build and Deploy Chatbots Using Dialogflow: EDUCBA
  • Vision Models: Train and Evaluate: 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