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

Results for "model checking"


  • G

    Google Cloud

    Utiliser des notebooks dans Vertex AI

    Skills you'll gain: Jupyter, Google Cloud Platform, Model Deployment, AI Workflows, Data Preprocessing

    Beginner · Course · 1 - 4 Weeks

    Category: Credit offered
    Credit offered
  • G

    Google Cloud

    BigQuery ML を推論に使用する

    Skills you'll gain: Big Data, Analytics, Data Analysis, Model Training, Applied Machine Learning, Model Deployment, MLOps (Machine Learning Operations), Machine Learning, Predictive Modeling

    Beginner · Course · 1 - 4 Weeks

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • 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, R (Software), Data Warehousing, Database Design, Model Evaluation, Database Management, Algorithms, Java Programming, Deep Learning, Portfolio Management, Oral Comprehension, C (Programming Language), Econometrics, Spreadsheet Software, Matplotlib

    Degree · 1 - 4 Years

    Category: Earn a degree
    Earn a degree
  • P

    Pontificia Universidad Católica de Chile

    Certificado en Introducción a la Ciencia de Datos

    Skills you'll gain: Predictive Analytics, Unsupervised Learning, Data Cleansing, Data Visualization, Matplotlib, Exploratory Data Analysis, Supervised Learning, Data Presentation, Model Evaluation, Dimensionality Reduction, Model Optimization, Plot (Graphics), Data Science, Descriptive Analytics, Machine Learning Methods, Data Analysis, Pandas (Python Package), Data-Driven Decision-Making, Data Processing, Graphing

    Mastertrack · 6 - 12 Months

    Category: Credit offered
    Credit offered
  • B

    Birla Institute of Technology & Science, Pilani

    Introduction to Social Media Analytics

    Skills you'll gain: Social Network Analysis, Social Media Analytics, Graph Theory, Network Analysis, Big Data, Network Model, Data Ethics, Applied Machine Learning, Responsible AI, AI Personalization, Analytics, Data Mining, Machine Learning, Research, Deep Learning, Unsupervised Learning, Algorithms

    Intermediate · Course · 1 - 3 Months

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

    University of Colorado Boulder

    Semiconductor Photonics Graduate Certificate

    Skills you'll gain: Semiconductors, Power Electronics, Display Devices, Control Systems, Computer Displays, Electronic Systems, Systems Design, Technical Design, Model Optimization, Electrical Engineering, USB, Electronic Components, Electrical Systems, Electronics, Materials science, electromagnetics, Electronics Engineering, Electrical and Computer Engineering, Hardware Design, Image Quality

    Graduate Certificate · 6 - 12 Months

    Category: Credit offered
    Credit offered
  • U

    Universidad de los Andes

    Inteligencia Artificial: Machine learning, ética y nuevas tendencias Certificado MasterTrack®

    Skills you'll gain: Supervised Learning, Unsupervised Learning, Model Evaluation, Classification Algorithms, Artificial Intelligence, Data Ethics, Machine Learning, Regression Analysis, Dimensionality Reduction, Probability & Statistics, Responsible AI, Image Analysis, Machine Learning Methods, Natural Language Processing, Computer Vision, Embedded Systems, Applied Machine Learning, Linear Algebra, Bayesian Statistics, Scientific Visualization

    Mastertrack · 6 - 12 Months

    Category: Credit offered
    Credit offered
  • Multiple educators

    Managing AI Projects That Ship and Scale

    Beginner · Specialization

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

    University of Colorado Boulder

    Requirement Specifications for Autonomous Systems

    Skills you'll gain: Computational Logic, System Requirements, Functional Requirement, Theoretical Computer Science, Functional Specification, Mathematical Modeling, Requirements Analysis, Systems Analysis, Verification And Validation, Control Systems, Computer Science, Applied Mathematics

    ★ 3.4 (9) · Intermediate · Course · 1 - 3 Months

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

    University of Leeds

    Foundations of Software Testing and Validation

    Skills you'll gain: Test Case, Software Testing, Software Quality Assurance, Quality Assurance, Verification And Validation, Software Development Life Cycle, Software Development

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

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • 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, Graph Theory, Deductive Reasoning, Natural Language Processing, Logical Reasoning, Formal Learning

    Intermediate · Course · 1 - 3 Months

    Category: New
    New
    Category: Build toward a degree
    Build toward a degree
  • 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, Test Engineering, Performance Stress Testing, Embedded Systems, Test Planning, Simulations, Real Time Data, Safety and Security

    Advanced · Course · 1 - 4 Weeks

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
1…421422423424

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

  • Utiliser des notebooks dans Vertex AI: Google Cloud
  • BigQuery ML を推論に使用する: Google Cloud
  • Bachelor of Science in Data Science & AI: IIT Guwahati
  • Certificado en Introducción a la Ciencia de Datos: Pontificia Universidad Católica de Chile
  • Introduction to Social Media Analytics: Birla Institute of Technology & Science, Pilani
  • Semiconductor Photonics Graduate Certificate: University of Colorado Boulder
  • Inteligencia Artificial: Machine learning, ética y nuevas tendencias Certificado MasterTrack®: Universidad de los Andes
  • Managing AI Projects That Ship and Scale: 
  • 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