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

Results for "model checking"


  • E

    EDUCBA

    Analyze and Visualize Business Data with Power BI

    Skills you'll gain: Power BI, Data Modeling, Analytical Skills, Data Presentation, Analysis, Business Reporting, Data Management, Data Storytelling, Data Manipulation, Business Analytics, Management Reporting, Real Time Data, Analytics, Visualization (Computer Graphics), Ad Hoc Reporting, Customer Analysis, Time Series Analysis and Forecasting, Marketing Analytics, Data Security, Profit and Loss (P&L) Management

    Beginner · Specialization · 3 - 6 Months

  • C

    Coursera

    Optimize Vision Datasets: Augment and Analyze

    Skills you'll gain: Predictive Analytics, MLOps (Machine Learning Operations), Verification And Validation, Data Preprocessing, Data Transformation, Exploratory Data Analysis, Data Manipulation, Statistical Reporting

    Intermediate · Course · 1 - 4 Weeks

  • U

    University of Illinois Urbana-Champaign

    3D Printing and Additive Manufacturing

    Skills you'll gain: 3D Modeling, Design Thinking, Autodesk, Design Software, 3D Assets, Creative Thinking, Intellectual Property, Conceptual Design, Hardware Troubleshooting, Computer-Aided Design, Visualization (Computer Graphics), Product Design, Computer Hardware, Innovation, Solution Design, Manufacturing Processes, Computer Graphics, Prototyping, Emerging Technologies, Business Transformation

    4.6
    Rating, 4.6 out of 5 stars
    ·
    2.5K reviews

    Beginner · Specialization · 3 - 6 Months

  • C

    Coursera

    Forecast Cash: Liquidity & Deficits

    Skills you'll gain: Cash Flow Forecasting, Cash Management, Cash Flows, Financial Forecasting, Working Capital, Accounting and Finance Software, QuickBooks (Accounting Software), Financial Modeling

    Beginner · Course · 1 - 4 Weeks

  • K

    KodeKloud

    Data Engineering Essentials

    Skills you'll gain: MLOps (Machine Learning Operations), Apache Kafka, Apache Airflow, Apache Spark, Extract, Transform, Load, Data Lakes, Data Pipelines, Distributed Computing, Real Time Data, DevOps, Big Data, Data Preprocessing, Feature Engineering, Model Deployment, CI/CD, Pandas (Python Package), Data Transformation

    Beginner · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Build & Test REST APIs with POSTMAN and Spring Boot

    Skills you'll gain: Server Side, Application Development, Data Modeling

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Mastering Application Performance Monitoring in AppDynamics

    Skills you'll gain: Dashboard, Application Performance Management, Role-Based Access Control (RBAC), MLOps (Machine Learning Operations), System Monitoring, Enterprise Application Management, Performance Tuning, Performance Analysis, Management Reporting, Performance Metric, Anomaly Detection, Real Time Data, Continuous Monitoring, Model Deployment, Devops Tools, Model Evaluation, Operational Performance Management, Site Reliability Engineering, DevOps, Root Cause Analysis

    Beginner · Specialization · 1 - 3 Months

  • E

    EDUCBA

    Develop a Java Student Management System

    Skills you'll gain: User Interface (UI) Design, Java, Application Design, Application Development, Databases, Development Environment, Data Validation, Debugging, Program Development, Data Modeling, Transaction Processing, Maintainability

    Beginner · Course · 1 - 4 Weeks

  • M

    Meta

    Meta Marketing Science Certification Prep

    Skills you'll gain: Marketing Analytics, Bayesian Statistics, Descriptive Statistics, Marketing Effectiveness, Statistical Hypothesis Testing, A/B Testing, Target Audience, Marketing Strategies, Statistical Inference, Sampling (Statistics), Data Collection, Data Modeling, Statistics, Advertising Campaigns, Campaign Management, Data Presentation, Marketing, Analytics, Performance marketing, Web Analytics

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

    Intermediate · Specialization · 3 - 6 Months

  • A

    Alex Genadinik

    Insights On Stress & Anxiety From Dr. Lisa Feldman Barrett

    Skills you'll gain: Emotional Intelligence, Stress Management, Mental Health, Biology, Self-Awareness, Physiology, Psychology, Research, Science and Research

    Mixed · Course · 1 - 4 Weeks

  • P

    Packt

    Databricks Associate Developer: Apache Spark with Python

    Skills you'll gain: Apache Spark, PySpark, Databricks, Data Pipelines, Data Processing, Big Data, Apache, Real Time Data, Python Programming, Model Evaluation, Machine Learning, SQL, Data Transformation, Performance Tuning, Distributed Computing

    Intermediate · Course · 1 - 3 Months

  • U

    University of Illinois at Urbana-Champaign

    Financial Management 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, Financial Auditing, Data Governance, Generative AI, Supply And Demand

    Credit offered

    Graduate Certificate · 6 - 12 Months

1…636465…377

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

  • Analyze and Visualize Business Data with Power BI: EDUCBA
  • Optimize Vision Datasets: Augment and Analyze: Coursera
  • 3D Printing and Additive Manufacturing: University of Illinois Urbana-Champaign
  • Forecast Cash: Liquidity & Deficits: Coursera
  • Data Engineering Essentials: KodeKloud
  • Build & Test REST APIs with POSTMAN and Spring Boot: EDUCBA
  • Mastering Application Performance Monitoring in AppDynamics: Coursera
  • Develop a Java Student Management System: EDUCBA
  • Meta Marketing Science Certification Prep: Meta
  • Insights On Stress & Anxiety From Dr. Lisa Feldman Barrett : Alex Genadinik

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