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

Results for "model checking"


  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    ML Production Systems

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

    Intermediate · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    M

    Meta

    Django Web Framework

    Skills you'll gain: Django (Web Framework), Web Development, Web Servers, Web Applications, Data Modeling, Back-End Web Development, MySQL, Application Security, Database Development, Model View Controller, Object-Relational Mapping, Application Frameworks, Database Management, Hypertext Markup Language (HTML)

    4.7
    Rating, 4.7 out of 5 stars
    ·
    668 reviews

    Beginner · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    End-to-End Multimodal AI: Fine-Tuning, Fusion, and MLOps

    Skills you'll gain: API Design, MLOps (Machine Learning Operations), Restful API, OAuth, Model Deployment, Model Evaluation, Transfer Learning, Vision Transformer (ViT), Artificial Intelligence and Machine Learning (AI/ML), Tensorflow, Stakeholder Communications, PyTorch (Machine Learning Library), Machine Learning Software, Applied Machine Learning, Artificial Intelligence, Solution Architecture, Machine Learning, Data Architecture, Machine Learning Algorithms, Data Science

    Intermediate · Course · 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    E

    EDUCBA

    Implement Advanced UiPath RPA Automation Workflows

    Skills you'll gain: Robotic Process Automation, Email Automation, Transaction Processing, Business Process Automation, Scenario Testing, Automation, Data Integration, Debugging, Scalability, Image Analysis, Data Cleansing, Data Validation, Service Level

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    Status: Preview
    Preview
    J

    John Wiley & Sons

    Mental Health and Wellbeing in the Workplace

    Skills you'll gain: Workplace inclusivity, Family and Medical Leave Act of 1993, Stress Management, Diversity and Inclusion, Mental Health, Advocacy, Employee Assistance Programs, Occupational Health, Employee Relations, Empathy, Resilience, Human Resource Policies, Human Resources, Industrial and Organizational Psychology, Mental Health Therapies, Health Care Administration

    Beginner · Course · 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Apply AI Techniques & Prescriptives

    Skills you'll gain: Operations Research, Strategic Thinking, Strategic Decision-Making, Business Strategy, AI Enablement, Business Analytics, Operational Analysis, Advanced Analytics, Analytics, Process Optimization, Applied Machine Learning, Process Improvement and Optimization, Predictive Modeling, Predictive Analytics, Artificial Intelligence, Statistical Modeling, Decision Making, Resource Allocation, Performance Analysis, Model Evaluation

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Analyze Financial Data: Reconciliation Fast

    Skills you'll gain: Reconciliation, Financial Data, Financial Reporting, Financial Analysis, Variance Analysis, General Ledger, Financial Acumen, Data Analysis, Pivot Tables And Charts, Business Reporting, Analytical Skills, Spreadsheet Software, Data Validation, Profit and Loss (P&L) Management, Data Integrity, Data Warehousing

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Django for Everybody

    Skills you'll gain: Django (Web Framework), Model View Controller, Cascading Style Sheets (CSS), Hypertext Markup Language (HTML), Linux Commands, Application Deployment, Database Design, Cloud Deployment, Web Applications, Application Development, Web Development, Authentications, Web Servers, Data Modeling, SQL, Session Initiation Protocols, Database Management, Javascript, User Accounts, Data Validation

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

    Intermediate · Specialization · 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    E

    EDUCBA

    Apply SketchUp to Build 3D House Models from 2D Plans

    Skills you'll gain: SketchUp (3D Modeling Software), AutoCAD, Architectural Drawing, 3D Modeling, 3D Assets, Visualization (Computer Graphics), UI Components, Data Import/Export

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Optimizing AI Workflows and Deploying Edge Models

    Skills you'll gain: PyTorch (Machine Learning Library), Model Evaluation, Model Deployment, MLOps (Machine Learning Operations), AI Workflows, Tensorflow, Dataflow, Performance Tuning, Deep Learning, Data Pipelines, Grafana, Artificial Neural Networks, Data Processing, Resource Utilization, Performance Analysis, Performance Metric, Data Manipulation, Debugging

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    S

    SkillUp

    Fundamentals of Data Science in Healthcare

    Skills you'll gain: Interoperability, Medical Privacy, Clinical Data Management, Data Cleansing, Data Preprocessing, Health Informatics, Feature Engineering, Data Transformation, Health Insurance Portability And Accountability Act (HIPAA) Compliance, Data Quality, ICD Coding (ICD-9/ICD-10), Data Processing, Health Care, Health Information Management, Data Integration, Medical Records, Medical Coding, Data Validation, Electronic Medical Record, Machine Learning

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Extract, Map, and Analyze Clinical Data

    Skills you'll gain: Epic EMR, Health Informatics, Data Mapping, Clinical Informatics, Clinical Data Management, Data Dictionary, Electronic Data Capture (EDC), Health Information Management, Data Analysis, Patient-centered Care, Electronic Medical Record, Extract, Transform, Load, Data Transformation, Data Integrity, Data Quality, Data Validation, Data Collection, Data Access

    Beginner · Course · 1 - 4 Weeks

1…313233…384

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

  • ML Production Systems: Coursera
  • Django Web Framework : Meta
  • End-to-End Multimodal AI: Fine-Tuning, Fusion, and MLOps: Coursera
  • Implement Advanced UiPath RPA Automation Workflows: EDUCBA
  • Mental Health and Wellbeing in the Workplace: John Wiley & Sons
  • Apply AI Techniques & Prescriptives: Coursera
  • Analyze Financial Data: Reconciliation Fast: Coursera
  • Django for Everybody: University of Michigan
  • Apply SketchUp to Build 3D House Models from 2D Plans: EDUCBA
  • Optimizing AI Workflows and Deploying Edge Models: 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