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

Results for "model checking"


  • G

    Google Cloud

    Intégrer des applications avec Gemini 1.0 Pro sur Google Cloud

    Skills you'll gain: Google Gemini, Generative AI, LLM Application, Google Cloud Platform, Application Development, Application Programming Interface (API), Model Evaluation

    Beginner · Course · 1 - 4 Weeks

  • G

    Google Cloud

    Utiliser BigQuery Machine Learning pour l'inférence

    Skills you'll gain: Big Data, Data Analysis, Google Cloud Platform, Applied Machine Learning, Statistical Inference, Machine Learning Methods, SQL, Model Deployment

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial

    Multiple educators

    Managing AI Projects That Ship and Scale

    Beginner · Specialization

  • C

    Clemson University

    Master of Science in Computer Science

    Skills you'll gain: Human Computer Interaction, Dimensionality Reduction, Database Design, Database Management Systems, Generative AI, MySQL, Model Evaluation, Data Cleansing, Database Theory, Software Development Methodologies, Usability, Reinforcement Learning, Data Preprocessing, Data Mining, Data Structures, Responsible AI, Algorithms, Software Engineering, Artificial Intelligence, Human Factors

    Earn a degree

    Degree · 1 - 4 Years

  • U

    University of London

    Bachelor of Science in Computer Science

    Skills you'll gain: Virtual Reality, Full-Stack Web Development, Human Computer Interaction, Agile Software Development, Animations, Data Ethics, Model Evaluation, React Native, Game Design, Responsive Web Design, Git (Version Control System), Event-Driven Programming, Web Applications, Incident Response, Data Science, Natural Language Processing, Combinatorics, Database Design, Data Visualization, Generative AI

    Earn a degree

    Degree · 1 - 4 Years

  • G

    Google Cloud

    Trabaja con Notebooks en Vertex AI

    Skills you'll gain: MLOps (Machine Learning Operations), Jupyter, Model Deployment, Google Cloud Platform, Machine Learning, Data Preprocessing, Virtual Environment, Development Environment

    Beginner · Course · 1 - 4 Weeks

  • U

    University of London

    Graduate Diploma in Computer Science

    Skills you'll gain: Virtual Reality, Full-Stack Web Development, Human Computer Interaction, Agile Software Development, Animations, Data Ethics, Model Evaluation, React Native, Game Design, Responsive Web Design, Git (Version Control System), Event-Driven Programming, Web Applications, Incident Response, Data Science, Natural Language Processing, Combinatorics, Database Design, Data Visualization, Generative AI

    Credit offered

    Graduate Certificate · 6 - 12 Months

  • G

    Google Cloud

    Responsible AI for Developers: Interpretability & Transparency - 日本語版

    Skills you'll gain: Responsible AI, Data Ethics, Data Integrity, Artificial Intelligence, Model Evaluation

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Requirement Specifications for Autonomous Systems

    Skills you'll gain: Computational Logic, System Requirements, Functional Requirement, Theoretical Computer Science, Systems Analysis, Verification And Validation, Control Systems, Linear Algebra, Differential Equations, Applied Mathematics

    Build toward a degree

    3.4
    Rating, 3.4 out of 5 stars
    ·
    9 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    University of Leeds

    Foundations of Software Testing and Validation

    Skills you'll gain: Test Case, Software Testing, Software Quality Assurance, Quality Assurance, User Acceptance Testing (UAT), Test Planning, Verification And Validation, Acceptance Testing, System Testing, White-Box Testing, Unit Testing, Functional Testing, Integration Testing, Software Development Life Cycle, Software Development

    4.6
    Rating, 4.6 out of 5 stars
    ·
    445 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    B

    Birla Institute of Technology & Science, Pilani

    Automata and Computability

    Skills you'll gain: Theoretical Computer Science, Computational Logic, Mathematical Theory & Analysis, Algorithms, Computational Thinking, Programming Principles, Computer Science, Data Structures, Graph Theory, Deductive Reasoning, Natural Language Processing, Logical Reasoning, Formal Learning

    Build toward a degree

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    Status: Preview
    Preview
    C

    Coursera

    Advanced Techniques in Embedded Software Testing

    Skills you'll gain: Code Coverage, Embedded Software, Real-Time Operating Systems, Performance Testing, System Testing, Software Testing, Verification And Validation, Embedded Systems, Test Case, Test Planning, Integration Testing, Simulations, Real Time Data, Safety and Security

    Advanced · Course · 1 - 4 Weeks

1…386387388389

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

  • Intégrer des applications avec Gemini 1.0 Pro sur Google Cloud: Google Cloud
  • Utiliser BigQuery Machine Learning pour l'inférence: Google Cloud
  • Managing AI Projects That Ship and Scale: 
  • Master of Science in Computer Science: Clemson University
  • Bachelor of Science in Computer Science: University of London
  • Trabaja con Notebooks en Vertex AI: Google Cloud
  • Graduate Diploma in Computer Science: University of London
  • Responsible AI for Developers: Interpretability & Transparency - 日本語版: Google Cloud
  • Requirement Specifications for Autonomous Systems: University of Colorado Boulder
  • Foundations of Software Testing and Validation: University of Leeds

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