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

Results for "model checking"


  • Status: Free Trial
    Free Trial
    E

    Edureka

    Generative AI for Software Engineers & Developers

    Skills you'll gain: Prompt Engineering, Generative AI, Generative Model Architectures, Gemini, Model Deployment, Generative AI Agents, Generative Adversarial Networks (GANs), Google Gemini, Responsible AI, Performance Tuning, Large Language Modeling, Software Development Tools, Code Review, Software Engineering, Artificial Intelligence, AI Personalization, Software Development, Software Quality Assurance, Debugging, Automation

    4.3
    Rating, 4.3 out of 5 stars
    ·
    14 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Social Computing

    Skills you'll gain: Social Network Analysis, Network Analysis, Responsible AI, Graph Theory, Machine Learning, Applied Machine Learning, Research, Model Evaluation, Social Sciences, Statistical Analysis, Amazon Web Services, R Programming, Tensorflow, Data Ethics, Artificial Intelligence and Machine Learning (AI/ML), Research Design, Sociology, Driving engagement, Machine Learning Methods, Behavioral Economics

    4.4
    Rating, 4.4 out of 5 stars
    ·
    15 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    S

    SkillUp

    GenAI for Business Process Automation

    Skills you'll gain: Prompt Engineering, Business Workflow Analysis, Business Process Automation, AI Workflows, Agentic Workflows, Generative AI Agents, AI Orchestration, Automation, Model Deployment, Robotic Process Automation, AI Enablement, Performance Measurement, Generative AI, Tool Calling, No-Code Development, Responsible AI, LLM Application, Process Optimization, MLOps (Machine Learning Operations), System Monitoring

    4.7
    Rating, 4.7 out of 5 stars
    ·
    15 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    UX and Interface Design for Embedded Systems

    Skills you'll gain: User Research, User Experience Design, User Experience, User Interface and User Experience (UI/UX) Design, Usability, Verification And Validation, Human Computer Interaction, Usability Testing, Design Research, Embedded Systems, Wireframing, Prototyping, Unified Modeling Language, Persona Development

    Build toward a degree

    4.1
    Rating, 4.1 out of 5 stars
    ·
    17 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    J

    Johns Hopkins University

    Foundational Mathematics for AI

    Skills you'll gain: Descriptive Statistics, Linear Algebra, Exploratory Data Analysis, Data-Driven Decision-Making, Data Analysis, Statistics, Artificial Intelligence and Machine Learning (AI/ML), Artificial Intelligence, Probability, Regression Analysis, Calculus, Mathematical Software, Statistical Analysis, Advanced Mathematics, Applied Mathematics, Probability Distribution, Mathematical Modeling, Integral Calculus, Dimensionality Reduction, Graphing

    4.9
    Rating, 4.9 out of 5 stars
    ·
    10 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    D

    Duke University

    Cloud Machine Learning Engineering and MLOps

    Skills you'll gain: MLOps (Machine Learning Operations), Continuous Delivery, Applied Machine Learning, Google Cloud Platform, Model Deployment, Cloud Applications, Artificial Intelligence and Machine Learning (AI/ML), Machine Learning, Microsoft Azure, Computer Vision, Application Programming Interface (API), Natural Language Processing, Flask (Web Framework)

    4.5
    Rating, 4.5 out of 5 stars
    ·
    91 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    H

    Howard University

    Linear Algebra for Data Science Using Python

    Skills you'll gain: Data Wrangling, Linear Algebra, Regression Analysis, NumPy, Predictive Modeling, Dimensionality Reduction, Data Science, Data Visualization, Applied Mathematics, Data Preprocessing, Statistical Modeling, Jupyter, Data Analysis, Machine Learning Methods, Mathematical Modeling, Algebra, Exploratory Data Analysis, Python Programming, Model Evaluation, Statistical Analysis

    4.3
    Rating, 4.3 out of 5 stars
    ·
    33 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    I

    Icahn School of Medicine at Mount Sinai

    Integrated Analysis in Systems Biology

    Skills you'll gain: Research, Science and Research, Scientific Methods, Analysis, Systems Analysis, Biology, Integration Testing, Bioinformatics, Research Design, Data Validation

    4.6
    Rating, 4.6 out of 5 stars
    ·
    87 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    A

    Arizona State University

    Design for Additive Manufacturing

    Skills you'll gain: Manufacturing Processes, Engineering Design Process, Computer-Aided Design, Design Strategies, Prototyping, Production Process, Design, 3D Modeling, Materials science

    4.8
    Rating, 4.8 out of 5 stars
    ·
    61 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    W

    Whizlabs

    NVIDIA: Large Language Models and Generative AI Deployment

    Skills you'll gain: Large Language Modeling, Generative AI, Model Deployment, Natural Language Processing, Prompt Engineering, Deep Learning, MLOps (Machine Learning Operations), Cloud Deployment, Model Evaluation, Continuous Monitoring, Data Cleansing, Machine Learning

    4
    Rating, 4 out of 5 stars
    ·
    7 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Foundations of Leadership

    Skills you'll gain: Business Ethics, Critical Thinking, Critical Thinking and Problem Solving, Organizational Leadership, Leadership Development, Team Performance Management, Team Leadership, Team Motivation, Leadership and Management, Business Leadership, Leadership, Professional Development, Peer Review, Self-Awareness, Emotional Intelligence, Goal-Oriented, Adaptability

    4.4
    Rating, 4.4 out of 5 stars
    ·
    16 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of California, Davis

    Data Manipulation in JavaScript

    Skills you'll gain: Ajax, Javascript and jQuery, Data Validation, JSON, Javascript, Event-Driven Programming, Web Development Tools, Object Oriented Programming (OOP), Debugging

    4.8
    Rating, 4.8 out of 5 stars
    ·
    69 reviews

    Beginner · Course · 1 - 4 Weeks

1…207208209…389

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

  • Generative AI for Software Engineers & Developers: Edureka
  • Social Computing: Johns Hopkins University
  • GenAI for Business Process Automation: SkillUp
  • UX and Interface Design for Embedded Systems: University of Colorado Boulder
  • Foundational Mathematics for AI: Johns Hopkins University
  • Cloud Machine Learning Engineering and MLOps: Duke University
  • Linear Algebra for Data Science Using Python: Howard University
  • Integrated Analysis in Systems Biology: Icahn School of Medicine at Mount Sinai
  • Design for Additive Manufacturing: Arizona State University
  • NVIDIA: Large Language Models and Generative AI Deployment: Whizlabs

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