• For Individuals
  • For Businesses
  • For Universities
  • For Governments
Coursera
  • Online Degrees
  • Careers
  • Log In
  • Join for Free
    Coursera
    • Browse
    • Model Checking
    Skip to search results

    Filter by

    Subject
    Required
     *

    Language
    Required
     *

    The language used throughout the course, in both instruction and assessments.

    Learning Product
    Required
     *

    Build job-relevant skills in under 2 hours with hands-on tutorials.
    Learn from top instructors with graded assignments, videos, and discussion forums.
    Learn a new tool or skill in an interactive, hands-on environment.
    Get in-depth knowledge of a subject by completing a series of courses and projects.
    Earn career credentials from industry leaders that demonstrate your expertise.
    Earn your Bachelor’s or Master’s degree online for a fraction of the cost of in-person learning.

    Level
    Required
     *

    Duration
    Required
     *

    Skills
    Required
     *

    Subtitles
    Required
     *

    Educator
    Required
     *

    Results for "model checking"

    • Status: New
      New
      P

      Packt

      Harnessing Ollama – Create Local LLMs with Python

      Skills you'll gain: Large Language Modeling, Generative AI, Prompt Engineering, Python Programming, Command-Line Interface, Natural Language Processing, Data Store, Application Development, Application Programming Interface (API), Restful API, Development Environment, System Requirements, Software Installation

      Intermediate · Course · 1 - 3 Months

    • Status: New
      New
      U

      Universidades Anáhuac

      Modelos predictivos con Machine Learning

      Skills you'll gain: Predictive Modeling, Time Series Analysis and Forecasting, Predictive Analytics, Statistical Modeling, Data Modeling, Forecasting, Supervised Learning, Regression Analysis, Feature Engineering, Classification And Regression Tree (CART), Scikit Learn (Machine Learning Library), Unsupervised Learning, Statistical Analysis, Machine Learning, Data Manipulation, Data Transformation

      Intermediate · Course · 1 - 4 Weeks

    • G

      Google Cloud

      Görüntü Üretmeye Giriş

      Skills you'll gain: Generative AI, Google Cloud Platform, Computer Graphics, Unsupervised Learning

      Beginner · Course · 1 - 4 Weeks

    • Status: New
      New
      P

      Packt

      Exploratory Data Analysis & Core ML Algorithms

      Skills you'll gain: Exploratory Data Analysis, Data Processing, Predictive Modeling, Classification And Regression Tree (CART), Data Analysis, Machine Learning Algorithms, Regression Analysis, Statistical Modeling, Data Cleansing, Feature Engineering, Supervised Learning, Data Manipulation, Predictive Analytics, Data Visualization

      Intermediate · Course · 1 - 3 Months

    • Status: New
      New
      P

      Packt

      Visual Design of UI & Backends with AWS Amplify Studio

      Skills you'll gain: UI Components, Full-Stack Web Development, Application Deployment, Development Environment, Authentications, Figma (Design Software), File Management, Amazon Web Services, Cloud Applications, Application Development, Authorization (Computing), React.js, Cloud Hosting, User Interface (UI) Design, Data Modeling

      Intermediate · Course · 3 - 6 Months

    • Status: New
      New
      P

      Packt

      CyberPatriot

      Skills you'll gain: Cybersecurity, Cyber Attacks, Unix, Virtualization, Computer Security Awareness Training, Computer Security, Linux, Information Systems Security, Cyber Security Assessment, Microsoft Windows, Network Security, Virtual Machines, System Configuration, Linux Commands, Data Security, Ethical Standards And Conduct, Security Awareness, Security Controls, Personally Identifiable Information, Operating Systems

      Intermediate · Course · 1 - 3 Months

    • Status: New
      New
      P

      Packt

      PowerShell Skills

      Skills you'll gain: Windows PowerShell, Scripting Languages, Scripting, IT Automation, Command-Line Interface, Software Installation, System Configuration, File Management, Data Validation, Integrated Development Environments, Data Integrity, Development Environment

      Intermediate · Course · 1 - 4 Weeks

    • P

      Packt

      Mastering WidgetKit in SwiftUI 4, iOS 16 with Dynamic Island

      Skills you'll gain: Apple iOS, Swift Programming, Apple Xcode, Mobile Development, Cross Platform Development, User Interface (UI), Application Programming Interface (API), Real Time Data, Data Modeling

      Intermediate · Course · 3 - 6 Months

    • Status: New
      New
      P

      Packt

      Blender 4 - Geometry Nodes for Beginners

      Skills you'll gain: 3D Modeling, Computer Graphics, Visualization (Computer Graphics), Computer Graphic Techniques

      Beginner · Course · 1 - 3 Months

    • Status: New
      New
      P

      Packt

      Hands-on with Cisco Modeling Labs 2 (CML2)

      Skills you'll gain: Software Installation, VMware ESX Servers, Command-Line Interface, Network Model, Virtual Machines, Virtual Private Networks (VPN), System Configuration, Virtualization, Network Troubleshooting, Computing Platforms, Virtual Environment, Application Programming Interface (API), User Interface (UI), System Requirements

      Intermediate · Course · 1 - 4 Weeks

    • Status: New
      New
      L

      Lund University

      Klimat, miljö och hälsa

      Skills you'll gain: Environment, Public Health and Disease Prevention, Environmental Policy, Public Health, Environmental Issue, Water Resources, Infectious Diseases, Community Health, Mental Health, Mitigation, Chronic Diseases, Environmental Science, Risk Analysis

      Intermediate · Course · 1 - 3 Months

    • Status: New
      New
      Status: Free
      Free
      D

      DeepLearning.AI

      Building Toward Computer Use with Anthropic

      Skills you'll gain: Prompt Engineering, Computer Vision, Human Computer Interaction, Image Analysis, Artificial Intelligence, Generative AI, User Interface (UI), Application Programming Interface (API), Large Language Modeling

      Beginner · Project · Less Than 2 Hours

    Searches related to model checking

    quantitative model checking
    temporal logic model checking
    automated reasoning: symbolic model checking
    1…190191192…198

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

    • Harnessing Ollama – Create Local LLMs with Python: Packt
    • Modelos predictivos con Machine Learning: Universidades Anáhuac
    • Görüntü Üretmeye Giriş: Google Cloud
    • Exploratory Data Analysis & Core ML Algorithms: Packt
    • Visual Design of UI & Backends with AWS Amplify Studio: Packt
    • CyberPatriot: Packt
    • PowerShell Skills: Packt
    • Mastering WidgetKit in SwiftUI 4, iOS 16 with Dynamic Island: Packt
    • Blender 4 - Geometry Nodes for Beginners: Packt
    • Hands-on with Cisco Modeling Labs 2 (CML2): Packt

    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

    Technical Skills

    • ChatGPT
    • Coding
    • Computer Science
    • Cybersecurity
    • DevOps
    • Ethical Hacking
    • Generative AI
    • Java Programming
    • Python
    • Web Development

    Analytical Skills

    • Artificial Intelligence
    • Big Data
    • Business Analysis
    • Data Analytics
    • Data Science
    • Financial Modeling
    • Machine Learning
    • Microsoft Excel
    • Microsoft Power BI
    • SQL

    Business Skills

    • Accounting
    • Digital Marketing
    • E-commerce
    • Finance
    • Google
    • Graphic Design
    • IBM
    • Marketing
    • Project Management
    • Social Media Marketing

    Career Resources

    • Essential IT Certifications
    • High-Income Skills to Learn
    • How to Get a PMP Certification
    • How to Learn Artificial Intelligence
    • Popular Cybersecurity Certifications
    • Popular Data Analytics Certifications
    • What Does a Data Analyst Do?
    • Career Development Resources
    • Career Aptitude Test
    • Share your Coursera Learning Story

    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
    • ECTS Credit Recommendations

    Community

    • Learners
    • Partners
    • Beta Testers
    • Blog
    • The Coursera Podcast
    • Tech Blog
    • Teaching Center

    More

    • Press
    • Investors
    • Terms
    • Privacy
    • Help
    • Accessibility
    • Contact
    • Articles
    • Directory
    • Affiliates
    • Modern Slavery Statement
    • Manage Cookie Preferences
    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