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

Results for "model checking"


  • Status: Free Trial
    Free Trial
    G

    Google

    Análisis de Datos de Google

    Skills you'll gain: Data Storytelling, Presentations, Stakeholder Communications, Rmarkdown, Data Presentation, Data Cleansing, Data Visualization, Data-Driven Decision-Making, Ggplot2, Data Validation, Data Visualization Software, Data Ethics, Data Analysis, Tableau Software, Data Literacy, Data Processing, Dashboard, Analytical Skills, Spreadsheet Software, Databases

    4.8
    Rating, 4.8 out of 5 stars
    ·
    12K reviews

    Beginner · Professional Certificate · 3 - 6 Months

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

    EDUCBA

    Master Java Spring Framework: Build Web Apps

    Skills you'll gain: Object-Relational Mapping, Spring Framework, Hibernate (Java), Apache Maven, Model View Controller, Relational Databases, Database Design, MySQL, Web Applications, Java Platform Enterprise Edition (J2EE), Java Programming, Java, Full-Stack Web Development, Database Application, Database Development, Authentications, Object Oriented Design, Back-End Web Development, Object Oriented Programming (OOP), Software Design Patterns

    Beginner · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Washington

    Machine Learning Foundations: A Case Study Approach

    Skills you'll gain: Applied Machine Learning, Feature Engineering, Regression Analysis, Machine Learning, Image Analysis, Supervised Learning, Artificial Intelligence, Deep Learning, Classification And Regression Tree (CART), Computer Vision, Predictive Modeling, Natural Language Processing, Text Mining, Python Programming, Data Mining

    4.6
    Rating, 4.6 out of 5 stars
    ·
    14K reviews

    Mixed · Course · 1 - 3 Months

  • Status: Preview
    Preview
    J

    Johns Hopkins University

    Business Analytics with Excel: Elementary to Advanced

    Skills you'll gain: Risk Modeling, Operations Research, Regression Analysis, Microsoft Excel, Business Analytics, Risk Analysis, Business Process Modeling, Business Modeling, Data Modeling, Resource Allocation, Analysis, Statistical Analysis, Mathematical Modeling, Process Optimization, Financial Analysis, Statistical Methods, Predictive Analytics, Transportation Operations, Complex Problem Solving, Linear Algebra

    4.8
    Rating, 4.8 out of 5 stars
    ·
    4K reviews

    Intermediate · Course · 1 - 3 Months

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

    EDUCBA

    3DS Max Texturing: Apply, Create & Refine

    Skills you'll gain: 3D Modeling, Animation and Game Design, 3D Assets, Computer Graphics, Computer Graphic Techniques, Visualization (Computer Graphics), Adobe Photoshop, Photo Editing, Autodesk, Color Matching

    Mixed · Course · 1 - 4 Weeks

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

    EDUCBA

    3ds Max Architectural Rendering Masterclass

    Skills you'll gain: 3D Modeling, Autodesk, 3D Assets, Design Software, Visualization (Computer Graphics), Computer Graphics, Computer Graphic Techniques, Editing, Graphical Tools, Image Quality, Simulations

    Beginner · Specialization · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    D

    Dartmouth College

    Machine Learning with Neural Networks

    Skills you'll gain: Bayesian Network, Artificial Neural Networks, Deep Learning, Tensorflow, Artificial Intelligence and Machine Learning (AI/ML), Machine Learning, Applied Machine Learning, Machine Learning Algorithms, Network Architecture, Algorithms, Probability Distribution

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    I

    IBM

    Generative AI Engineering with LLMs

    Skills you'll gain: Prompt Engineering, Large Language Modeling, Generative AI, PyTorch (Machine Learning Library), LLM Application, Natural Language Processing, Artificial Intelligence and Machine Learning (AI/ML), Data Pipelines, Text Mining, Data Ethics, Artificial Intelligence, Deep Learning, Performance Tuning, Applied Machine Learning, Data Processing, Artificial Neural Networks, Reinforcement Learning, Document Management, Database Management Systems, Data Storage Technologies

    4.5
    Rating, 4.5 out of 5 stars
    ·
    812 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    P

    Packt

    Blender 4 - The Ultimate Environment Artist's Guide

    Skills you'll gain: 3D Modeling, Computer Graphics, SketchUp (3D Modeling Software), 3D Assets, Visualization (Computer Graphics), Virtual Environment, Architectural Design, Image Quality, Performance Tuning, Design, Creative Design, Game Design, Design Elements And Principles, Aesthetics

    Intermediate · Specialization · 3 - 6 Months

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

    EDUCBA

    Elasticsearch Joins & Parent-Child Queries

    Skills you'll gain: Data Modeling, Query Languages, Data Mapping, NoSQL, Event-Driven Programming, Relational Databases, Scalability, Performance Tuning, JSON

    Mixed · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    P

    Packt

    Blender to Unreal Engine 5 – Fantasy River Diorama Scene

    Skills you'll gain: Unreal Engine, 3D Assets, 3D Modeling, Computer Graphic Techniques, Computer Graphics, Virtual Environment, User Interface (UI), UI Components, Animations, Performance Tuning, Video Game Development, Data Import/Export, Game Design

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Building Web Applications in Django

    Skills you'll gain: Django (Web Framework), Object-Relational Mapping, Database Design, SQL, Model View Controller, Databases, Object Oriented Programming (OOP), Web Applications, Data Modeling, Application Security, Hypertext Markup Language (HTML), Software Design Patterns, Python Programming

    4.7
    Rating, 4.7 out of 5 stars
    ·
    784 reviews

    Intermediate · Course · 1 - 4 Weeks

Searches related to model checking

model checking with sat and smt
quantitative model checking
automated reasoning: symbolic model checking
temporal logic model checking
1…303132…257

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

  • Análisis de Datos de Google: Google
  • Master Java Spring Framework: Build Web Apps: EDUCBA
  • Machine Learning Foundations: A Case Study Approach: University of Washington
  • Business Analytics with Excel: Elementary to Advanced: Johns Hopkins University
  • 3DS Max Texturing: Apply, Create & Refine: EDUCBA
  • 3ds Max Architectural Rendering Masterclass: EDUCBA
  • Machine Learning with Neural Networks: Dartmouth College
  • Generative AI Engineering with LLMs: IBM
  • Blender 4 - The Ultimate Environment Artist's Guide: Packt
  • Elasticsearch Joins & Parent-Child Queries: EDUCBA

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

  • Artificial Intelligence (AI)
  • Cybersecurity
  • Data Analytics
  • Digital Marketing
  • English Speaking
  • Generative AI (GenAI)
  • Microsoft Excel
  • Microsoft Power BI
  • Project Management
  • Python

Certificates & Programs

  • Google Cybersecurity Certificate
  • Google Data Analytics Certificate
  • Google IT Support Certificate
  • Google Project Management Certificate
  • Google UX Design Certificate
  • IBM Data Analyst Certificate
  • IBM Data Science Certificate
  • Machine Learning Certificate
  • Microsoft Power BI Data Analyst Certificate
  • UI / UX Design Certificate

Industries & Careers

  • Business
  • Computer Science
  • Data Science
  • Education & Teaching
  • Engineering
  • Finance
  • Healthcare
  • Human Resources (HR)
  • Information Technology (IT)
  • Marketing

Career Resources

  • Career Aptitude Test
  • Examples of Strengths and Weaknesses for Job Interviews
  • High-Income Skills to Learn
  • How Does Cryptocurrency Work?
  • How to Highlight Duplicates in Google Sheets
  • How to Learn Artificial Intelligence
  • Popular Cybersecurity Certifications
  • Preparing for the PMP Certification
  • Signs You Will Get the Job After an Interview
  • What Is Artificial Intelligence?

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
© 2025 Coursera Inc. All rights reserved.
  • Coursera Facebook
  • Coursera Linkedin
  • Coursera Twitter
  • Coursera YouTube
  • Coursera Instagram
  • Coursera TikTok