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

Results for "model checking"


  • G

    Google Cloud

    Gemini for DevOps Engineers - Bahasa Indonesia

    Skills you'll gain: Kubernetes, Google Gemini, DevOps, Google Cloud Platform, Infrastructure as Code (IaC), Devops Tools, Continuous Delivery, Build Tools

    Beginner · Course · 1 - 4 Weeks

  • G

    Google Cloud

    Responsible AI for Developers: Fairness & Bias - Українська

    Skills you'll gain: Responsible AI, Data Ethics, Open Source Technology, Google Cloud Platform, Artificial Intelligence, Artificial Intelligence and Machine Learning (AI/ML), Model Evaluation, Data Validation

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    E

    EDUCBA

    Analyze, Design & Implement Java CRUD with TestNG

    Skills you'll gain: Object Oriented Design, Object Oriented Programming (OOP), Unit Testing, Java, Test Automation, Software Development, Development Testing, Application Design, Software Testing, Application Development, System Design and Implementation, Data Validation, User Interface (UI), Debugging, Data Integrity, Business Logic

    Beginner · 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

  • Status: New
    New
    Status: Preview
    Preview
    B

    Birla Institute of Technology & Science, Pilani

    Introduction to Social Media Analytics

    Skills you'll gain: Social Network Analysis, Graph Theory, Network Analysis, Data Ethics, Responsible AI, Machine Learning, Analytics, Research, Data Visualization, Driving engagement, Data Mining, Predictive Analytics, Community Development, Algorithms

    Intermediate · Course · 1 - 3 Months

  • U

    University of London

    Graduate Certificate 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

    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

  • 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

  • I

    Illinois Institute of Technology

    Master of Data Science

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

    Earn a degree

    Degree · 1 - 4 Years

  • U

    Universidad de los Andes

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

    Skills you'll gain: Supervised Learning, Model Evaluation, Classification Algorithms, Artificial Intelligence, Data Ethics, Machine Learning, Regression Analysis, Probability & Statistics, Responsible AI, Image Analysis, Machine Learning Methods, Natural Language Processing, Computer Vision, Embedded Systems, Applied Machine Learning, Linear Algebra, Data Preprocessing, Bayesian Statistics, Statistics, Law, Regulation, and Compliance

    Credit offered

    Mastertrack · 6 - 12 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial

    Multiple educators

    Managing AI Projects That Ship and Scale

    Beginner · Specialization

  • U

    Universidad de los Andes

    Analítica de datos: visualización, predicción y toma de decisiones Certificado MasterTrack®

    Skills you'll gain: Social Network Analysis, Network Analysis, Predictive Modeling, Financial Data, Marketing Analytics, Financial Modeling, Data Preprocessing, Advertising, New Product Development, Time Series Analysis and Forecasting, Machine Learning, Strategic Decision-Making, Blockchain, Operations Research, Model Deployment, Natural Language Processing, Mathematical Modeling, Random Forest Algorithm, Network Model, Systems Analysis

    Credit offered

    Mastertrack · 6 - 12 Months

1…385386387…389

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

  • Gemini for DevOps Engineers - Bahasa Indonesia: Google Cloud
  • Responsible AI for Developers: Fairness & Bias - Українська: Google Cloud
  • Analyze, Design & Implement Java CRUD with TestNG: EDUCBA
  • Gemini for Security Engineers - Bahasa Indonesia: Google Cloud
  • Introduction to Social Media Analytics: Birla Institute of Technology & Science, Pilani
  • Graduate Certificate in Computer Science: University of London
  • Intégrer des applications avec Gemini 1.0 Pro sur Google Cloud: Google Cloud
  • Graduate Diploma in Computer Science: University of London
  • Master of Data Science: Illinois Institute of Technology
  • Inteligencia Artificial: Machine learning, ética y nuevas tendencias Certificado MasterTrack®: Universidad de los Andes

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