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

Results for "model checking"


  • 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

  • W

    Whizlabs

    Generative AI for AWS Cloud Engineers

    Skills you'll gain: Amazon Bedrock, Retrieval-Augmented Generation, Responsible AI, Generative AI, AI Security, Amazon Web Services, AI Enablement, Cloud Engineering, Large Language Modeling, Model Deployment, Prompt Engineering, Data Ethics, AWS Identity and Access Management (IAM), Model Evaluation, Cloud Security, Natural Language Processing

    Intermediate · Course · 1 - 4 Weeks

  • E

    Edureka

    Build Your First No-Code Data Workflow

    Skills you'll gain: Data Analysis, Data Collection, Data Cleansing, Data Processing, Data Quality, Data Analysis Software, Data Science, Business Analytics, Feature Engineering, Data Visualization, Data Validation, Machine Learning

    Beginner · Course · 1 - 3 Months

  • P

    Packt

    AI Agents and MLOps for Production-Ready AI

    Skills you'll gain: MLOps (Machine Learning Operations), Containerization, AI Workflows, Model Deployment, Generative AI Agents, LangGraph, Artificial Intelligence and Machine Learning (AI/ML), CrewAI, BeeAI, Docker (Software), Agentic systems, Google Cloud Platform, AWS SageMaker, CI/CD, Cloud Platforms, DevOps, Azure DevOps Pipelines, Kubernetes, Applied Machine Learning, Scalability

    Intermediate · Course · 1 - 4 Weeks

  • P

    Packt

    Disaster Recovery and Business Continuity

    Skills you'll gain: Disaster Recovery, Malware Protection, Business Continuity Planning, Contingency Planning, Business Continuity, Data Centers, Cybersecurity, Incident Management, Crisis Management, Data Security, Risk Management, Communication Systems, Risk Analysis, IT Infrastructure, Network Infrastructure

    Beginner · Course · 3 - 6 Months

  • P

    Packt

    Deep Dive into iOS & SwiftUI: 80-Hour Project Course

    Skills you'll gain: iOS Development, Swift Programming, Apple iOS, Core Data (Software), Data Persistence, Test Driven Development (TDD), Mobile Development, Application Design, Application Deployment, Apple Xcode, Plot (Graphics), User Interface (UI), Data Store, Model View Controller, Machine Learning Software, Software Architecture, Performance Tuning, Database Development, Real Time Data, Data Integration

    Intermediate · Specialization · 3 - 6 Months

  • M

    Microsoft

    Advanced Analytics & AI Optimization with Microsoft Fabric

    Skills you'll gain: Power BI, Microsoft Copilot, Data Lakes, Microsoft Azure, Data Architecture, Process Optimization, Process Improvement and Optimization, Real Time Data, Data Modeling, Performance Tuning, Data Pipelines, Interactive Data Visualization, Data Governance, Natural Language Processing

    Intermediate · Course · 1 - 3 Months

  • C

    Coursera

    Enforce Data Quality

    Skills you'll gain: Quality Assurance, Compliance Reporting, Data Quality, Performance Reporting, Trend Analysis, Data Validation, Configuration Management, Data Integrity, Data Capture, Workflow Management, Continuous Monitoring

    Beginner · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Design and Assemble a Kids Bicycle Using SolidWorks

    Skills you'll gain: SolidWorks (CAD), Assembly Drawing, 3D Modeling, Computer-Aided Design, Drafting and Engineering Design, Mechanical Design, Design Specifications, Functional Design, Simulation and Simulation Software, Visualization (Computer Graphics), Equipment Design, Geometric Dimensioning And Tolerancing, Functional Requirement

    Intermediate · Course · 1 - 3 Months

  • U

    University of California, Santa Cruz

    Bayesian Statistics: From Concept to Data Analysis

    Skills you'll gain: Bayesian Statistics, Statistical Inference, Statistical Methods, Probability & Statistics, Statistics, Statistical Modeling, Probability, Probability Distribution, Data Analysis, R Programming, Regression Analysis, R (Software), Microsoft Excel, Analytical Skills, Statistical Visualization, Predictive Modeling, Data Visualization, Data Modeling

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

    Intermediate · Course · 1 - 4 Weeks

  • G

    Google Cloud

    利用 Gemini CLI 加快应用开发速度

    Skills you'll gain: Google Gemini, Code Review, Generative AI Agents, Command-Line Interface, LLM Application, Model Context Protocol, Tool Calling, Application Development, Software Installation, Application Security, Software Architecture

    Beginner · Course · 1 - 4 Weeks

  • R

    Rutgers the State University of New Jersey

    Global Procurement and Sourcing

    Skills you'll gain: Strategic Sourcing, Supplier Management, Procurement, Supplier Relationship Management, Supplier Performance Management, Negotiation, Vendor Management, Contract Negotiation, Request For Quotation (RFQ), Case Studies, Stakeholder Management, Contract Management, Purchasing, Market Analysis, Request for Proposal, Competitive Analysis, Risk Management, Vendor Contracts, Supply Management, Business Ethics

    4.7
    Rating, 4.7 out of 5 stars
    ·
    2.7K reviews

    Beginner · Specialization · 3 - 6 Months

1…616263…377

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

  • ML Production Systems: Coursera
  • Generative AI for AWS Cloud Engineers: Whizlabs
  • Build Your First No-Code Data Workflow: Edureka
  • AI Agents and MLOps for Production-Ready AI: Packt
  • Disaster Recovery and Business Continuity : Packt
  • Deep Dive into iOS & SwiftUI: 80-Hour Project Course: Packt
  • Advanced Analytics & AI Optimization with Microsoft Fabric: Microsoft
  • Enforce Data Quality: Coursera
  • Design and Assemble a Kids Bicycle Using SolidWorks: EDUCBA
  • Bayesian Statistics: From Concept to Data Analysis: University of California, Santa Cruz

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