• 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

    Data Science Graduate Certificate

    Skills you'll gain: Model Evaluation, Data Mining, Supervised Learning, Unsupervised Learning, Service Level, Dimensionality Reduction, Deep Learning, Statistical Modeling, Probability, Applied Machine Learning, Anomaly Detection, Machine Learning Algorithms, Statistical Inference, Statistical Hypothesis Testing, Data Warehousing, Recurrent Neural Networks (RNNs), Regression Analysis, Performance Testing, Bash (Scripting Language), Data Science

    Credit offered

    Graduate Certificate · 6 - 12 Months

  • U

    University of Pittsburgh

    Master of Data Science

    Skills you'll gain: Retrieval-Augmented Generation, LLM Application, Tool Calling, Data Visualization, Predictive Modeling, Database Design, Large Language Modeling, Database Management, Model Evaluation, Web Services, Data Ethics, Apache Spark, Bayesian Statistics, Data Visualization Software, Unsupervised Learning, Linear Algebra, Data Governance, Regression Analysis, Applied Machine Learning, Data Analysis

    Earn a degree

    Degree · 1 - 4 Years

  • U

    Universidad de los Andes

    Maestría en Inteligencia Artificial

    Skills you'll gain: Real-Time Operating Systems, Supervised Learning, Semantic Web, LangChain, Unsupervised Learning, Data Presentation, Cloud-Native Computing, Continuous Deployment, Computer Vision, Reinforcement Learning, Natural Language Processing, Classification Algorithms, Biomedical Engineering, Artificial Intelligence, Project Management Institute (PMI) Methodology, Recurrent Neural Networks (RNNs), Technical Communication, Data Ethics, Cash Flows, Model Deployment

    Earn a degree

    Degree · 1 - 4 Years

  • I

    IIT Guwahati

    Bachelor of Science in Data Science & AI

    Skills you'll gain: Package and Software Management, Social Network Analysis, Time Series Analysis and Forecasting, Cloud Computing Architecture, Linear Algebra, Data Structures, Data Warehousing, Data Visualization, Model Evaluation, Database Management, Database Theory, Algorithms, Java Programming, Deep Learning, Portfolio Management, Oral Comprehension, C (Programming Language), Econometrics, Spreadsheet Software, Matplotlib

    Earn a degree

    Degree · 1 - 4 Years

  • Multiple educators

    Managing AI Projects That Ship and Scale

    Beginner · Specialization

  • U

    University of London

    Graduate Certificate in Computer Science

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

    Credit offered

    Graduate Certificate · 6 - 12 Months

  • U

    University of London

    Bachelor of Science in Computer Science

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

    Earn a degree

    Degree · 1 - 4 Years

  • U

    University of London

    Graduate Diploma in Computer Science

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

    Credit offered

    Graduate Certificate · 6 - 12 Months

  • 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

  • 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

    Intermediate · Course · 1 - 3 Months

  • 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

  • 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…374375376377

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

  • Data Science Graduate Certificate: University of Colorado Boulder
  • Master of Data Science: University of Pittsburgh
  • Maestría en Inteligencia Artificial: Universidad de los Andes
  • Bachelor of Science in Data Science & AI: IIT Guwahati
  • Managing AI Projects That Ship and Scale: 
  • Graduate Certificate in Computer Science: University of London
  • Bachelor of Science in Computer Science: University of London
  • Graduate Diploma in Computer Science: University of London
  • Requirement Specifications for Autonomous Systems: University of Colorado Boulder
  • Automata and Computability: Birla Institute of Technology & Science, Pilani

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