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

Results for "model checking"


  • U

    University of Colorado Boulder

    Discrete-Time Markov Chains and Monte Carlo Methods

    Skills you'll gain: Artificial Intelligence, Machine Learning Methods, Generative AI, Machine Learning Algorithms, Mathematical Theory & Analysis

    ★ 4.8 (12) · Intermediate · Course · 1 - 3 Months

    Status: Free Trial
    Free Trial
    Category: Build toward a degree
    Build toward a degree
  • M

    Microsoft

    Full-Stack Developer Capstone Project

    Skills you'll gain: ASP.NET, Restful API, Full-Stack Web Development, Cloud Deployment, Performance Tuning, Frontend Integration, .NET Framework, Data Modeling, Frontend Performance, Development Environment, Software Development Tools, Object-Relational Mapping, Web Development, Software Development, Cloud Infrastructure, Web Applications, UI Components, Code Reusability, Authentications, Application Development

    ★ 4.9 (11) · Beginner · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • G

    Google Cloud

    Intro to TensorFlow en Español

    Skills you'll gain: Model Deployment, Tensorflow, Keras (Neural Network Library), Google Cloud Platform, Model Optimization, Model Training, Data Pipelines, Cloud Deployment, Deep Learning, Data Preprocessing, Feature Engineering, Predictive Modeling, Model Evaluation, Data Import/Export, Artificial Neural Networks, Data Manipulation

    ★ 4.5 (137) · Intermediate · Course · 1 - 3 Months

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • C

    Coursera

    Managing AI Projects That Ship and Scale

    Skills you'll gain: Milestones (Project Management), Acceptance Testing, CI/CD, Scope Management, MLOps (Machine Learning Operations), Feature Engineering, Governance Risk Management and Compliance, Capacity Management, Responsible AI, Smart Goals, Backlogs, Project Risk Management, Compliance Management, Stakeholder Communications, Risk Management, Data Governance, Model Evaluation, Project Planning, Case Studies, Risking

    ★ 4 (6) · Intermediate · Specialization · 3 - 6 Months

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • L

    LearnKartS

    Stress Management Techniques

    Skills you'll gain: Stress Management, Resilience, Teamwork, Personal Development, Professional Development, Culture Transformation, Occupational Health, Workforce Development, Workforce Management, Mental Health

    ★ 4.7 (32) · Beginner · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • E

    Edureka

    AI Security

    Skills you'll gain: AI Security, Responsible AI, Incident Response, Computer Security Incident Management, Data Ethics, Generative AI, LLM Application, Large Language Modeling, Generative Model Architectures, Prompt Patterns, Threat Modeling, Security Testing, Cybersecurity, IT Security Architecture, Artificial Intelligence, Machine Learning, Security Management, MLOps (Machine Learning Operations), Agentic systems, Ethical Standards And Conduct

    ★ 3.5 (6) · Beginner · Specialization · 3 - 6 Months

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • A

    Alfaisal University | KLD

    كيفية السيطرة على التوتر والقلق

    Skills you'll gain: Personal Development, Stress Management, Professional Development, Self-Awareness, Mental Health, Behavioral Health

    ★ 4.9 (65) · Beginner · Course · 1 - 4 Weeks

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • C

    Coursera

    Building Production-Ready Apps with Large Language Models

    Skills you'll gain: Prompt Engineering, LLM Application, Model Deployment, Responsible AI, Application Deployment, Application Development, Large Language Modeling, Hugging Face, Data Ethics, Generative AI, AI Security, Application Security, Continuous Monitoring

    ★ 4 (29) · Intermediate · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • T

    Tel Aviv University

    Economic Growth and Distributive Justice Part II - Maximize Social Wellbeing

    Skills you'll gain: Economics, Economics, Policy, and Social Studies, Tax, Economic Development, Social Justice, Socioeconomics, Public Policies, Tax Planning, Policy Analysis, Income Tax

    ★ 4.6 (136) · Mixed · Course · 1 - 3 Months

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • U

    University of Colorado Boulder

    Cannabis, Chronic Pain, and Related Disorders

    Skills you'll gain: Pain Management, Public Health, Health Policy, Substance Abuse, Research, Hospice, Epidemiology, Chronic Diseases, Oncology, Pharmacology, Mental Health, Nutrition and Diet

    ★ 4.6 (151) · Beginner · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • C

    Coursera

    AngularJS for Beginners: Getting Started

    Skills you'll gain: Angular, Development Environment, Integrated Development Environments, Program Development, Web Development Tools, JavaScript Frameworks, Code Reusability, Javascript, Front-End Web Development, Model View Controller, Web Development

    ★ 4.3 (21) · Beginner · Guided Project · Less Than 2 Hours

    Category: Credit offered
    Credit offered
  • F

    Fractal Analytics

    Generative AI for Consultants

    Skills you'll gain: Prompt Engineering, Responsible AI, Generative AI, AI Security, Management Consulting, Business Consulting, Consulting, AI Enablement, Technical Consulting, Quality Assurance, Market Intelligence, Market Research, Automation

    ★ 4.3 (33) · Intermediate · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
1…192193194…425

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

  • Discrete-Time Markov Chains and Monte Carlo Methods: University of Colorado Boulder
  • Full-Stack Developer Capstone Project: Microsoft
  • Intro to TensorFlow en Español: Google Cloud
  • Managing AI Projects That Ship and Scale: Coursera
  • Stress Management Techniques: LearnKartS
  • AI Security: Edureka
  • كيفية السيطرة على التوتر والقلق: Alfaisal University | KLD
  • Building Production-Ready Apps with Large Language Models: Coursera
  • Economic Growth and Distributive Justice Part II - Maximize Social Wellbeing: Tel Aviv University
  • Cannabis, Chronic Pain, and Related Disorders: University of Colorado Boulder

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