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

More to explore:

Results for "model checking"


  • G

    Google Cloud

    運用 Vertex AI 和 Flutter 打造生成式 AI 代理

    Skills you'll gain: Google Gemini, Flutter (Software), Generative AI Agents, Generative AI, Google Cloud Platform, LLM Application, Mobile Development, Application Development, Model Deployment

    Intermediate · Course · 1 - 3 Months

  • E

    EDUCBA

    Build a C# WinForms Exhibition Visitor Entry System

    Skills you'll gain: Relational Databases, Requirements Analysis, Application Deployment, Database Design, Database Management, Business Requirements, C# (Programming Language), Application Development, Data Validation, Business Logic, UI Components, Data Access, User Interface (UI) Design

    Intermediate · Course · 1 - 4 Weeks

  • G

    Google Cloud

    Gemini for Security Engineers - Bahasa Indonesia

    Skills you'll gain: AI Security, Google Gemini, Google Cloud Platform, Cloud Security, Cloud Deployment, Security Controls, Vulnerability Assessments, Threat Detection, System Configuration

    Beginner · Course · 1 - 4 Weeks

  • 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

    BigQuery ML を推論に使用する

    Skills you'll gain: Data Analysis, Applied Machine Learning, Model Deployment, Machine Learning, Predictive Modeling, Machine Learning Algorithms

    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

  • I

    Illinois Institute of Technology

    Master of Data Science

    Skills you'll gain: Database Design, Statistical Analysis, Time Series Analysis and Forecasting, Relational Databases, Database Systems, Data Analysis, Database Management, NoSQL, Database Theory, Databases, Database Development, SQL, Big Data, Model Evaluation, Recurrent Neural Networks (RNNs), Apache Hadoop, Database Management Systems, Bayesian Statistics, Statistical Inference, Technical Communication

    Earn a degree

    Degree · 1 - 4 Years

  • C

    Clemson University

    Master of Science in Computer Science

    Skills you'll gain: Human Computer Interaction, Large Language Modeling, Dimensionality Reduction, Database Design, Database Management Systems, Generative AI, MySQL, Model Evaluation, 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 Leeds

    Master of Science in Data Science (Statistics)

    Skills you'll gain: Data Ethics, Data Presentation, Statistical Machine Learning, Regression Analysis, Data Storytelling, Statistical Hypothesis Testing, Exploratory Data Analysis, Bayesian Statistics, Data Analysis, Statistical Methods, Model Evaluation, Statistical Visualization, Classification And Regression Tree (CART), Supervised Learning, Network Analysis, Data Preprocessing, Web Scraping, Statistical Modeling, Linear Algebra, Python Programming

    Earn a degree

    Degree · 1 - 4 Years

  • G

    Google Cloud

    Utiliser des notebooks dans Vertex AI

    Skills you'll gain: Jupyter, MLOps (Machine Learning Operations), Google Cloud Platform, Model Deployment, AI Workflows, Data Preprocessing, Computing Platforms

    Beginner · Course · 1 - 4 Weeks

  • 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

  • Multiple educators

    Managing AI Projects That Ship and Scale

    Beginner · Specialization

1…370371372…374

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

  • 運用 Vertex AI 和 Flutter 打造生成式 AI 代理: Google Cloud
  • Build a C# WinForms Exhibition Visitor Entry System: EDUCBA
  • Gemini for Security Engineers - Bahasa Indonesia: Google Cloud
  • Intégrer des applications avec Gemini 1.0 Pro sur Google Cloud: Google Cloud
  • BigQuery ML を推論に使用する: Google Cloud
  • Utiliser BigQuery Machine Learning pour l'inférence: Google Cloud
  • Master of Data Science: Illinois Institute of Technology
  • Master of Science in Computer Science: Clemson University
  • Master of Science in Data Science (Statistics): University of Leeds
  • Utiliser des notebooks dans Vertex AI: Google Cloud

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