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

Results for "model checking"


  • C

    Coursera

    Data Pipelines and SQL for Product Analytics

    Skills you'll gain: Data Pipelines, SQL, Apache Airflow, Extract, Transform, Load, JSON, Pandas (Python Package), Data Manipulation, Data Warehousing, Database Design, Star Schema, Data Transformation, Performance Tuning, Real Time Data, Big Data, Data Validation, Performance Analysis, Data Quality, Time Series Analysis and Forecasting

    Intermediate · Course · 1 - 3 Months

  • C

    Coursera

    Forecast Cash: Liquidity & Deficits

    Skills you'll gain: Cash Flow Forecasting, Cash Management, Cash Flows, Financial Forecasting, Working Capital, Accounting and Finance Software, QuickBooks (Accounting Software), Financial Modeling

    Beginner · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Analyze and Automate Data Using Splunk Knowledge Objects

    Skills you'll gain: Splunk, Security Information and Event Management (SIEM), Data Transformation, Unstructured Data, Data Wrangling, Anomaly Detection, Data Integration, Data Cleansing, Event Monitoring, Scalability, Data Modeling, System Monitoring, Exploratory Data Analysis, Data Validation

    Beginner · Course · 1 - 4 Weeks

  • U

    University of Michigan

    Django for Everybody

    Skills you'll gain: Django (Web Framework), Ajax, jQuery, Model View Controller, Cascading Style Sheets (CSS), Hypertext Markup Language (HTML), JSON, Linux Commands, Application Deployment, Database Design, Cloud Deployment, Web Applications, Application Development, Web Development, Javascript, Authentications, Web Servers, Data Modeling, SQL, Debugging

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

    Intermediate · Specialization · 3 - 6 Months

  • L

    Logical Operations

    Cisco Implementation and Administration (CCNA 200-301)

    Skills you'll gain: Network Troubleshooting, Network Administration, Network Security, Network Architecture, TCP/IP, Network Routers, Computer Networking, Network Routing, Virtual Local Area Network (VLAN), Dynamic Host Configuration Protocol (DHCP), Wireless Networks, Local Area Networks, Network Switches, Networking Hardware, Network Infrastructure, IT Automation, Network Protocols, Routing Protocols, Hardware Troubleshooting, Network Model

    Beginner · Specialization · 1 - 3 Months

  • M

    Meta

    Meta Marketing Science Certification Prep

    Skills you'll gain: Marketing Analytics, Bayesian Statistics, Descriptive Statistics, Marketing Effectiveness, Statistical Hypothesis Testing, A/B Testing, Target Audience, Marketing Strategies, Statistical Inference, Sampling (Statistics), Data Collection, Data Modeling, Statistics, Advertising Campaigns, Campaign Management, Data Presentation, Marketing, Analytics, Performance marketing, Web Analytics

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

    Intermediate · Specialization · 3 - 6 Months

  • C

    Coursera

    Account Reconciliation and Cash Forecasting Fundamentals

    Skills you'll gain: Cash Management, Cash Flow Forecasting, Reconciliation, Fraud detection, Accounts Payable and Receivable, Accounting and Finance Software, Internal Controls, Financial Controls, Financial Forecasting, Revenue Forecasting, Financial Accounting, Accounting Records, Financial Modeling, General Ledger, Accounting, QuickBooks (Accounting Software), Financial Statements, Financial Analysis, Revenue Management, Investigation

    Beginner · Course · 1 - 3 Months

  • C

    Coursera

    Decode Rasters with Rasterio

    Skills you'll gain: Spatial Data Analysis, Geographic Information Systems, Geospatial Information and Technology, Data Analysis, Image Analysis, Data Processing, Data Preprocessing, NumPy, Data Validation, Metadata Management, Data Collection, Data Management

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Optimize ML Models: Hyperparameter Tuning

    Skills you'll gain: Model Evaluation, Performance Tuning, MLOps (Machine Learning Operations), Applied Machine Learning, Machine Learning Algorithms

    Intermediate · Course · 1 - 4 Weeks

  • E

    Edureka

    Agentic AI Engineering

    Skills you'll gain: LangChain, LangGraph, Model Context Protocol, AI Workflows, LLM Application, AI Orchestration, Agentic Workflows, Generative AI Agents, Tool Calling, Model Deployment, Data Transformation, Retrieval-Augmented Generation, Agentic systems, Generative AI, Middleware, Gemini, Scalability, Artificial Intelligence, Prompt Engineering, Responsible AI

    Intermediate · Specialization · 3 - 6 Months

  • C

    Coursera

    Explain Black-Box Models

    Skills you'll gain: Stakeholder Communications, Stakeholder Analysis, Data Presentation, Data Analysis, Exploratory Data Analysis, Business Communication, Model Evaluation, Responsible AI, Statistical Methods

    Intermediate · Course · 1 - 4 Weeks

  • U

    University of Toronto

    GIS, Mapping, and Spatial Analysis

    Skills you'll gain: ArcGIS, Spatial Data Analysis, Spatial Analysis, Geographic Information Systems, Geospatial Mapping, GIS Software, Data Mapping, Geospatial Information and Technology, Data Visualization, Metadata Management, Query Languages, Global Positioning Systems, Quantitative Research, Data Compilation, Typography, Data Manipulation, Data Storytelling, Data Modeling, Design Elements And Principles, Image Analysis

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

    Beginner · Specialization · 3 - 6 Months

Searches related to model checking

temporal logic model checking
1…454647…374

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

  • Data Pipelines and SQL for Product Analytics: Coursera
  • Forecast Cash: Liquidity & Deficits: Coursera
  • Analyze and Automate Data Using Splunk Knowledge Objects: EDUCBA
  • Django for Everybody: University of Michigan
  • Cisco Implementation and Administration (CCNA 200-301): Logical Operations
  • Meta Marketing Science Certification Prep: Meta
  • Account Reconciliation and Cash Forecasting Fundamentals: Coursera
  • Decode Rasters with Rasterio: Coursera
  • Optimize ML Models: Hyperparameter Tuning : Coursera
  • Agentic AI Engineering: Edureka

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