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

Results for "model checking"


  • O

    O.P. Jindal Global University

    Artificial Intelligence

    Skills you'll gain: Computational Logic, Machine Learning Algorithms, Classification Algorithms, Natural Language Processing, Artificial Intelligence, Agentic systems, AI literacy, Machine Learning Methods, Machine Learning, Artificial Intelligence and Machine Learning (AI/ML), Decision Support Systems, Bayesian Network, Complex Problem Solving, Probability & Statistics, Algorithms

    ★ 5 (7) · Mixed · Course · 3 - 6 Months

    Category: Preview
    Preview
    Category: Build toward a degree
    Build toward a degree
  • U

    University of Colorado Boulder

    Object-Oriented Analysis & Design

    Skills you'll gain: Object Oriented Design, JUnit, Object Oriented Programming (OOP), Unified Modeling Language, Software Design Patterns, Software Testing, Java, Software Engineering, Java Programming, Computer Programming, User Interface and User Experience (UI/UX) Design, Unit Testing, Software Design, Software Architecture, User Interface (UI) Design, API Design, Model View Controller, Software Development, Test Driven Development (TDD), Databases

    ★ 4.4 (20) · Intermediate · Specialization · 3 - 6 Months

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

    IBM

    Java Development Capstone Project

    Skills you'll gain: Database Design, Frontend Integration, Continuous Integration, Restful API, Database Development, Docker (Software), Model View Controller, Front-End Web Development, Relational Databases, Databases, Web Design and Development, User Story, CI/CD, Java, Java Programming, Database Application, Full-Stack Web Development, Spring Boot, Back-End Web Development, Software Design Documents

    ★ 4.3 (10) · Advanced · Course · 1 - 3 Months

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

    Coursera

    Create a Database with the Modeling Tool in MySQL Workbench

    Skills you'll gain: MySQL Workbench, Database Design, MySQL, Database Development, Relational Databases, Database Management, Databases, Database Management Systems, SQL, Data Modeling, Diagram Design, Query Languages, Data Import/Export

    ★ 4.6 (62) · Beginner · Guided Project · Less Than 2 Hours

    Category: Credit offered
    Credit offered
  • I

    IBM

    Software Testing, Deployment, and Maintenance Strategies

    Skills you'll gain: Test Planning, Test Driven Development (TDD), Release Management, Software Testing, Behavior-Driven Development, Business Continuity Planning, Risk Management, System Testing, Application Deployment, Software Quality Assurance, Software Development Life Cycle, CI/CD, Data Validation, Systems Analysis, Systems Thinking, Data Modeling, Product Lifecycle Management, Business Process Automation, Digital Transformation, Process Flow Diagrams

    ★ 4.8 (16) · Intermediate · Course · 1 - 4 Weeks

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

    SkillUp

    Network Traffic Analysis with Wireshark

    Skills you'll gain: Network Monitoring, Network Security, Incident Response, Anomaly Detection, Network Analysis, Digital Forensics, Cyber Security Assessment, Network Protocols, Threat Detection, Technical Communication, Distributed Denial-Of-Service (DDoS) Attacks, Computer Security, Cybersecurity

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

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

    Microsoft

    Identity Protection and Governance 

    Skills you'll gain: Role-Based Access Control (RBAC), Azure Active Directory, Microsoft Azure, Cyber Governance, System Monitoring, Identity and Access Management, Cloud Security, Enterprise Security, Data Security, Authorization (Computing), User Provisioning, Multi-Factor Authentication, Cyber Security Policies

    ★ 4.7 (23) · Intermediate · Course · 1 - 4 Weeks

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

    Coursera

    Navigating Generative AI Risks for Leaders

    Skills you'll gain: Responsible AI, Data Ethics, Law, Regulation, and Compliance, Regulation and Legal Compliance, Regulatory Compliance, Generative AI, Legal Risk, Compliance Management, Business Ethics, AI Security, Intellectual Property, Business Risk Management, Risk Management, Ethical Standards And Conduct, Personally Identifiable Information, Data Governance, Data Security

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

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

    University of Minnesota

    Healthcare Marketplace Capstone

    Skills you'll gain: Competitive Analysis, Healthcare Industry Knowledge, Stakeholder Analysis, Medical Devices, Market Share, Market Opportunities, Value-Based Care, Health Technology, Health Care Procedure and Regulation, Innovation, Business Modeling, Clinical Assessment, Commercialization, Market Analysis, Report Writing, Revenue Forecasting, Market Intelligence, Financial Modeling, Cost Benefit Analysis, Competitive Intelligence

    ★ 4.7 (69) · Mixed · Course · 1 - 3 Months

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

    University of Colorado Boulder

    Cybersecurity for Data Science

    Skills you'll gain: Data Security, Cybersecurity, Cyber Attacks, Data Ethics, Computer Security, Authentications, Cryptography, Information Assurance, Cyber Security Policies, Authorization (Computing), Security Software, Security Controls, Cyber Security Assessment, Information Privacy, Encryption, Data Access, Security Awareness, Risk Analysis, Problem Solving, Communication

    ★ 3.6 (30) · Beginner · Course · 1 - 3 Months

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

    KodeKloud

    AWS Cloud Practitioner (CLF-C02)

    Skills you'll gain: Amazon Web Services, Amazon Elastic Compute Cloud, Cloud Infrastructure, AWS Identity and Access Management (IAM), Cloud Security, Public Cloud, Cloud Computing, Cloud Management, Cloud Platforms, Cloud Services, Amazon S3, Cloud Storage, Artificial Intelligence and Machine Learning (AI/ML)

    Beginner · Course · 1 - 3 Months

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • P

    Packt

    Spring Boot Foundations

    Skills you'll gain: Spring Boot, Hibernate (Java), Spring Framework, Web Applications, Application Development, Web Development, Program Development, Restful API, Application Frameworks, Secure Coding, Bootstrap (Front-End Framework), Development Environment, Object-Relational Mapping, Model View Controller, UI Components, Software Development Tools, Authentications, User Interface (UI), Databases

    ★ 4.7 (13) · Intermediate · Course · 1 - 4 Weeks

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

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

  • Artificial Intelligence: O.P. Jindal Global University
  • Object-Oriented Analysis & Design: University of Colorado Boulder
  • Java Development Capstone Project: IBM
  • Create a Database with the Modeling Tool in MySQL Workbench: Coursera
  • Software Testing, Deployment, and Maintenance Strategies : IBM
  • Network Traffic Analysis with Wireshark: SkillUp
  • Identity Protection and Governance : Microsoft
  • Navigating Generative AI Risks for Leaders: Coursera
  • Healthcare Marketplace Capstone: University of Minnesota
  • Cybersecurity for Data Science: 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