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

Results for "quantitative model checking"


  • E

    Edureka

    Salesforce Agentforce: Multi-Agent Systems & Exam Prep

    Skills you'll gain: Prompt Engineering, Prompt Patterns, AI Workflows, AI Orchestration, Salesforce, Agentic Workflows, Generative AI Agents, AI Enablement, Agentic systems, Responsible AI, Artificial Intelligence, Workflow Management, AI Security, Performance Testing, Data Governance, Enterprise Architecture, Business Logic, Customer Relationship Management (CRM) Software, Model Evaluation, Application Lifecycle Management

    Intermediate · Course · 1 - 4 Weeks

  • M

    Macquarie University

    Generative AI for Educators: AI Literacy & Prompting Skills

    Skills you'll gain: Prompt Engineering, Education Software and Technology, Artificial Intelligence, AI Enablement, Education and Training, Educational Materials, Digital pedagogy, Teaching, Model Evaluation, Critical Thinking, Data Ethics, Instructional and Curriculum Design, Technology Strategies, Information Technology, Higher Education, Creative Thinking, Decision Making

    Beginner · Course · 1 - 4 Weeks

  • P

    Packt

    Master Inventory System – Unity 6 & Blender

    Skills you'll gain: 3D Assets, Unity Engine, 3D Modeling, Video Game Development, Debugging, User Interface (UI) Design, Game Design, User Interface and User Experience (UI/UX) Design, Computer Graphic Techniques, Program Development, Computer Graphics, Interaction Design, Integration Testing, Animation and Game Design, Scripting, C# (Programming Language), Technical Design, Graphics Software, Object Oriented Programming (OOP), Data Mapping

    Intermediate · Specialization · 3 - 6 Months

  • U

    University of Colorado System

    Data Warehousing for Business Intelligence

    Skills you'll gain: Database Design, Business Intelligence, Data Warehousing, Decision Support Systems, Relational Databases, Data Visualization, Data Modeling, Performance Measurement, Database Management Systems, Database Management, Dashboard, SQL, Star Schema, Operational Performance Management, Data Governance, Oracle Databases, Data Integration, MicroStrategy, Extract, Transform, Load, Business Analytics

    4.5
    Rating, 4.5 out of 5 stars
    ·
    4.1K reviews

    Advanced · Specialization · 3 - 6 Months

  • E

    EDUCBA

    Implement RPA Bots for Social Media Monitoring

    Skills you'll gain: Robotic Process Automation, Social Media Management, Social Media, Business Process Automation, Microsoft Excel, Brand Awareness, Automation, Market Analysis, Solution Design, Marketing Automation, Secure Coding, Process Design, Image Analysis, Driving engagement, Data Import/Export, UI Components, Web Scraping, Process Flow Diagrams, Project Documentation, Data Validation

    Beginner · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Apply ExpressJS for Full-Stack Web Application Development

    Skills you'll gain: MongoDB, Full-Stack Web Development, Node.JS, Web Development, Web Applications, Front-End Web Development, JavaScript Frameworks, Server Side, Back-End Web Development, Data Store, Network Routing, Database Development, Hypertext Markup Language (HTML), Development Environment, Middleware, User Interface (UI) Design

    Beginner · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Apply Data Analytics Using Python and Pandas

    Skills you'll gain: NumPy, Pandas (Python Package), Model Evaluation, Jupyter, Data Analysis, Applied Machine Learning, Analytical Skills, Data Manipulation, Matplotlib, Business Analytics, Exploratory Data Analysis, Data Visualization Software, Python Programming, Descriptive Statistics, Linear Algebra

    Beginner · Course · 1 - 3 Months

  • W

    Whizlabs

    Fundamentals of AWS AI and ML Solutions

    Skills you'll gain: Model Deployment, AWS SageMaker, MLOps (Machine Learning Operations), Image Analysis, Natural Language Processing, Artificial Intelligence and Machine Learning (AI/ML), Amazon Web Services, Deep Learning, AI Personalization, Model Evaluation, Applied Machine Learning, Computer Vision, Machine Learning, Feature Engineering, Text Mining, Data Wrangling

    Beginner · Course · 1 - 4 Weeks

  • U

    University of Illinois at Urbana-Champaign

    CPA Pathways Graduate Certificate

    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

  • C

    Coursera

    Accounting Assistant

    Skills you'll gain: Accounts Payable and Receivable, Accounts Payable, Bookkeeping, Generally Accepted Accounting Principles (GAAP), Cash Flow Forecasting, Month End Closing, Financial Statements, Payroll Processing, Business Workflow Analysis, Billing & Invoicing, Accounting, Accounting Software, Reconciliation, Invoicing, General Ledger, Microsoft Excel, Internal Auditing, Variance Analysis, Data Transformation, Data Validation

    Beginner · Professional Certificate · 3 - 6 Months

  • G

    Google Cloud

    使用 Cloud Run 部署及擴充 AI 模型

    Skills you'll gain: Model Deployment, Cloud Deployment, Google Cloud Platform, Serverless Computing, Application Deployment, Generative AI, Artificial Intelligence and Machine Learning (AI/ML), Containerization, Scalability, Performance Tuning

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Building and Optimizing AI Agent Workflows

    Skills you'll gain: Feature Engineering, Agentic Workflows, Data Ethics, Responsible AI, Model Deployment, Agentic systems, Artificial Intelligence, Generative AI, MLOps (Machine Learning Operations), Data Transformation, Model Evaluation, Reinforcement Learning, Software Architecture, Business Ethics, API Design, Process Optimization, System Design and Implementation, Performance Tuning, Algorithms, Python Programming

    Intermediate · Course · 1 - 3 Months

1…424344…399

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

  • Salesforce Agentforce: Multi-Agent Systems & Exam Prep: Edureka
  • Generative AI for Educators: AI Literacy & Prompting Skills: Macquarie University
  • Master Inventory System – Unity 6 & Blender: Packt
  • Data Warehousing for Business Intelligence: University of Colorado System
  • Implement RPA Bots for Social Media Monitoring: EDUCBA
  • Apply ExpressJS for Full-Stack Web Application Development: EDUCBA
  • Apply Data Analytics Using Python and Pandas: EDUCBA
  • Fundamentals of AWS AI and ML Solutions: Whizlabs
  • CPA Pathways Graduate Certificate: University of Illinois at Urbana-Champaign
  • Accounting Assistant: 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