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

Results for "model checking"


  • C

    Coursera

    GenAI Ops: Running Powerful Generative AI Systems

    Skills you'll gain: Cloud Security, Emotional Intelligence, Stakeholder Management, Data Ethics, Data Governance, Data Security, Enterprise Architecture, Executive Presence, Professional Development, AI Enablement, AI Product Strategy, Infrastructure as Code (IaC), Financial Forecasting, Zero Trust Network Access, Systems Architecture, Application Deployment, Continuous Deployment, Terraform, Incident Management, Performance Tuning

    Intermediate · Professional Certificate · 3 - 6 Months

  • C

    Coursera

    Financial Data Analysis with Excel

    Skills you'll gain: Financial Statements, Dashboard, Variance Analysis, Financial Analysis, Pivot Tables And Charts, Excel Formulas, Financial Forecasting, Financial Modeling, Budget Management, Microsoft Excel, Performance Reporting, Data Validation, Spreadsheet Software, Financial Reporting, Auditing, Cost Management, Data Presentation, Data Storytelling, Business Intelligence, Performance Analysis

    Intermediate · Specialization · 3 - 6 Months

  • L

    LearnKartS

    Information Security Incident Management

    Skills you'll gain: Incident Management, Incident Response, Computer Security Incident Management, Disaster Recovery, Security Management, Business Continuity, Threat Management, Crisis Management, Business Continuity Planning, Contingency Planning, Gap Analysis, Risk Analysis, Legal Risk, Digital Forensics, Continuous Improvement Process, Governance Risk Management and Compliance, Risk Mitigation, Team Management

    Mixed · Course · 1 - 4 Weeks

  • C

    Coursera

    Advancing Your Career in Production AI

    Skills you'll gain: Responsible AI, Model Deployment, AI Product Strategy, Technical Design, Prompt Engineering, AI Security, Artificial Intelligence and Machine Learning (AI/ML), Technical Communication, Communication, Software Design, AI Workflows, MLOps (Machine Learning Operations), LLM Application, Apache Airflow, System Design and Implementation, Leadership, Python Programming, CI/CD, SQL, AWS CloudFormation

    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

  • E

    Edge Impulse

    Edge AI Fundamentals

    Skills you'll gain: MLOps (Machine Learning Operations), Artificial Intelligence and Machine Learning (AI/ML), Model Deployment, Artificial Intelligence, Machine Learning Methods, Deep Learning, Computer Vision, Anomaly Detection, Convolutional Neural Networks, Machine Learning, Cloud Computing, Internet Of Things, Product Engineering, Embedded Systems, Industrial Engineering, Data Science, Product Development

    Beginner · Course · 1 - 4 Weeks

  • P

    Packt

    RAG-Driven Generative AI

    Skills you'll gain: Generative AI, OpenAI, Data Pipelines, Data Preprocessing, Deep Learning, Scalability, Artificial Intelligence, Model Evaluation, Natural Language Processing, Machine Learning, Data Science

    Advanced · Course · 1 - 3 Months

  • C

    Coursera

    Transformers Unleashed: Master the Architecture of Modern AI

    Intermediate · Professional Certificate · 3 - 6 Months

  • C

    Coursera

    Optimize AI: Build Fast Efficient Pipelines

    Skills you'll gain: Dataflow, Performance Testing, Application Performance Management, Data Pipelines, MLOps (Machine Learning Operations), Data Flow Diagrams (DFDs), Computational Thinking, Data Processing, Data Manipulation

    Intermediate · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Build a Role-Based Java Web Application

    Skills you'll gain: Database Application, Full-Stack Web Development, Web Applications, Model View Controller, Authentications, Business Logic, SQL

    Beginner · Course · 1 - 4 Weeks

  • 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

  • C

    Coursera

    ML Production Systems

    Skills you'll gain: Model Deployment, Unit Testing, MLOps (Machine Learning Operations), Test Driven Development (TDD), Software Testing, Scalability, Dashboard, Feature Engineering, Continuous Integration, Kubernetes, Scikit Learn (Machine Learning Library), CI/CD, Performance Tuning, Tensorflow, Python Programming, Software Engineering, PyTorch (Machine Learning Library), Docker (Software), Containerization, Git (Version Control System)

    Intermediate · Specialization · 1 - 3 Months

1…808182…379

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

  • GenAI Ops: Running Powerful Generative AI Systems: Coursera
  • Financial Data Analysis with Excel: Coursera
  • Information Security Incident Management: LearnKartS
  • Advancing Your Career in Production AI: Coursera
  • 3D Printing and Additive Manufacturing: University of Illinois Urbana-Champaign
  • Edge AI Fundamentals: Edge Impulse
  • RAG-Driven Generative AI: Packt
  • Transformers Unleashed: Master the Architecture of Modern AI: Coursera
  • Optimize AI: Build Fast Efficient Pipelines: Coursera
  • Build a Role-Based Java Web Application: 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