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

Results for "model checking"


  • U

    University of North Texas

    Bachelor of Science in General Business

    Skills you'll gain: Operations Management, Mediation, Model Evaluation, Leadership Studies, Compensation and Benefits, Organizational Change, Event Management, Grammar, Sales Process, Data Visualization, Marketing Planning, Design Thinking, Public Policies, Probability & Statistics, Global Marketing, Cultural Diversity, Digital Media Strategy, Music History, Social Justice, Nutrition and Diet

    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

  • 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 North Texas

    Bachelor of Applied Arts and Sciences

    Skills you'll gain: Operations Management, Exploratory Data Analysis, Business Writing, Mediation, Model Evaluation, Change Management, Leadership Studies, Compensation and Benefits, Consumer Behaviour, Organizational Change, Stakeholder Management, Event Management, Grammar, Social Media Strategy, Business Ethics, Google Cloud Platform, Sales Process, Diversity Awareness, Conflict Management, Research

    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, Database Design, Model Evaluation, Algorithms, Java Programming, Deep Learning, Portfolio Management, Oral Comprehension, C (Programming Language), Econometrics, Spreadsheet Software, Scatter Plots, R Programming, Artificial Intelligence

    Earn a degree

    Degree · 1 - 4 Years

  • 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

  • G

    Google Cloud

    在 Google Cloud 上将应用与 Gemini 1.0 Pro 集成

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

    Beginner · Course · 1 - 4 Weeks

  • 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

  • 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

  • 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

  • P

    Pontificia Universidad Católica de Chile

    Diplomado en Analítica de los Negocios

    Skills you'll gain: Descriptive Analytics, Business Analytics, Model Evaluation, Plot (Graphics), Logistic Regression, Data Mining, Dimensionality Reduction, Visualization (Computer Graphics), Big Data, Analytics, Scientific Visualization, R Programming, Data Management, Statistical Modeling, Data-Driven Decision-Making, Data Visualization Software, Predictive Modeling, Predictive Analytics, Data Modeling, Data Analysis

    Credit offered

    Mastertrack · 6 - 12 Months

1…386387388…389

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

  • Bachelor of Science in General Business: University of North Texas
  • Utiliser des notebooks dans Vertex AI: Google Cloud
  • Master of Science in Computer Science: Clemson University
  • Bachelor of Applied Arts and Sciences: University of North Texas
  • Bachelor of Science in Data Science & AI: IIT Guwahati
  • Gemini for Security Engineers - Bahasa Indonesia: Google Cloud
  • Introduction to Social Media Analytics: Birla Institute of Technology & Science, Pilani
  • 在 Google Cloud 上将应用与 Gemini 1.0 Pro 集成: Google Cloud
  • Graduate Certificate in Computer Science: University of London
  • 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