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

Results for "model checking"


  • E

    EDUCBA

    Apply API Testing & Automation with Postman

    Skills you'll gain: Postman API Platform, Continuous Delivery, Web Services, API Design, Business Logic, Application Programming Interface (API), CI/CD, Software Testing, Test Execution Engine, Restful API, Interactive Data Visualization, Test Case, Server Side, Application Development, Web Applications, Automation, Debugging, Data Modeling, Software Installation

    Beginner · Specialization · 1 - 3 Months

  • E

    EDUCBA

    Build Data-Driven C# Desktop Applications with SQL Server

    Skills you'll gain: C# (Programming Language), Microsoft SQL Servers, Application Development, Data Validation, Application Design, Database Application, Business Reporting, SQL, Data Access, User Interface (UI), Issue Tracking, Data Integrity, User Interface (UI) Design, Data Management

    Intermediate · Course · 1 - 4 Weeks

  • U

    University of Pennsylvania

    Introduction to Spreadsheets and Models

    Skills you'll gain: Spreadsheet Software, Financial Modeling, Regression Analysis, Excel Formulas, Business Modeling, Simulation and Simulation Software, Operations Research, Microsoft Excel, Google Sheets, Probability Distribution, Analysis, Forecasting, Predictive Analytics, Risk Analysis, Statistical Methods, Data Analysis Software, Process Optimization, Decision Tree Learning

    4.2
    Rating, 4.2 out of 5 stars
    ·
    3.9K reviews

    Mixed · Course · 1 - 4 Weeks

  • C

    Coursera

    Build & Optimize TensorFlow ML Workflows

    Intermediate · Course · 1 - 4 Weeks

  • U

    University of California, Santa Cruz

    Bayesian Statistics: From Concept to Data Analysis

    Skills you'll gain: Bayesian Statistics, Statistical Inference, Statistical Methods, Probability & Statistics, Statistics, Statistical Modeling, Probability, Probability Distribution, Data Analysis, R Programming, Regression Analysis, R (Software), Microsoft Excel, Analytical Skills, Statistical Visualization, Predictive Modeling, Data Visualization, Data Modeling

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

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Debug Audio Models: Performance and Root Cause

    Skills you'll gain: Debugging, Model Evaluation, Root Cause Analysis, Data Preprocessing, Software Visualization, Exploratory Data Analysis, Analysis, Performance Tuning, Performance Analysis, Quantitative Research

    Intermediate · Course · 1 - 4 Weeks

  • J

    JetBrains

    Build a Game with an AI Coding Agent

    Skills you'll gain: Video Game Development, Generative AI Agents, Prompt Engineering, Game Design, Code Review, 3D Assets, Animation and Game Design, 3D Modeling, Integrated Development Environments, Artificial Intelligence, Generative AI, Project Planning, Javascript, Software Development, Product Development, Web Development, Product Design, Animations, Visual Design, Interactive Data Visualization

    Beginner · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Build and Implement an Asset Management System in VB.NET

    Skills you'll gain: Database Design, Relational Databases, Event-Driven Programming, Database Application, .NET Framework, Visual Basic (Programming Language), Maintainability, Service Management, Application Design, Business Logic, SQL, Data Validation, Debugging, User Interface (UI)

    Beginner · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Create Professional 3D Product Models

    Skills you'll gain: 3D Modeling, Autodesk Maya, Visualization (Computer Graphics), Computer Graphics, Adobe Photoshop, Computer Graphic Techniques, Graphic Design, Image Quality

    Beginner · Course · 1 - 4 Weeks

  • S

    Starweaver

    Securing Cloud Operations

    Skills you'll gain: Cloud Security, Cloud Services, Cloud Technologies, Cloud Computing Architecture, Cloud Computing, Cloud Infrastructure, Incident Response, Hardening, Public Cloud, Infrastructure As A Service (IaaS), ISO/IEC 27001, Virtual Machines, Identity and Access Management, Security Controls, Amazon Web Services, NIST 800-53, Network Security, Cloud Applications, Role-Based Access Control (RBAC), Platform As A Service (PaaS)

    Intermediate · Course · 1 - 3 Months

  • G

    Google Cloud

    Getting started with Google Workspace

    Skills you'll gain: Google Docs, Gmail, Google Sheets, Google Workspace, Presentations, Calendar Management, Spreadsheet Software, File Management, Excel Formulas, Email Security, Collaborative Software, Data Visualization, Productivity Software, Data Validation, Document Management, Setting Appointments, Meeting Facilitation, Sales Presentations, Data Analysis Expressions (DAX), Version Control

    4.7
    Rating, 4.7 out of 5 stars
    ·
    3.1K reviews

    Beginner · Specialization · 3 - 6 Months

  • L

    Logical Operations

    Microsoft Power Apps: Building Low-Code Business Apps

    Skills you'll gain: Microsoft Power Platform, No-Code Development, Application Deployment, Application Design, Application Development, Microsoft 365, Dashboard, Data-Driven Decision-Making, Software Design, Project Planning, Product Testing, Software Development, Business Solutions, Software Architecture

    Mixed · Course · 1 - 3 Months

Searches related to model checking

temporal logic model checking
1…596061…372

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

  • Apply API Testing & Automation with Postman: EDUCBA
  • Build Data-Driven C# Desktop Applications with SQL Server: EDUCBA
  • Introduction to Spreadsheets and Models: University of Pennsylvania
  • Build & Optimize TensorFlow ML Workflows: Coursera
  • Bayesian Statistics: From Concept to Data Analysis: University of California, Santa Cruz
  • Debug Audio Models: Performance and Root Cause: Coursera
  • Build a Game with an AI Coding Agent: JetBrains
  • Build and Implement an Asset Management System in VB.NET: EDUCBA
  • Create Professional 3D Product Models: EDUCBA
  • Securing Cloud Operations: Starweaver

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