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

Results for "model checking"


  • C

    Coursera

    Preparing Text for AI Models

    Skills you'll gain: Data Ethics, Data Validation, Generative AI, Data Cleansing, Data Quality, Data Preprocessing, Large Language Modeling, Text Mining, Hugging Face, Data Collection, Unstructured Data, Data Transformation

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Statistical and Predictive Modeling for Finance

    Skills you'll gain: Descriptive Statistics, Financial Data, Regression Analysis, Statistical Modeling, Financial Analysis, Decision Tree Learning, Credit Risk, Predictive Modeling, Portfolio Management, Statistics, Portfolio Risk, Statistical Analysis, Statistical Methods, Model Evaluation, Supervised Learning

    Intermediate · Course · 1 - 3 Months

  • U

    University of London

    Geometry and Calculus for Computing

    Skills you'll gain: Applied Mathematics, Trigonometry, Mathematics and Mathematical Modeling, Graphing, Calculus, Computer Science, Mathematical Theory & Analysis, Geometry, Mechanics, Computer Graphics, Graph Theory, Mathematical Modeling, Functional Requirement, Physics, Graphic Design, Derivatives

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Project Sales: Excel Forecasting Functions

    Skills you'll gain: Financial Forecasting, Forecasting, Microsoft Excel, Business Planning, Excel Formulas, Time Series Analysis and Forecasting, Trend Analysis, Strategic Decision-Making, Revenue Forecasting, Predictive Modeling, Data-Driven Decision-Making, Sales Management, Data Analysis, Technical Communication, Financial Modeling, Performance Metric

    Intermediate · Course · 1 - 4 Weeks

  • P

    Packt

    Artificial Intelligence for Robotics

    Skills you'll gain: Robotics, Artificial Intelligence, Image Analysis, Computer Vision, Convolutional Neural Networks, Natural Language Processing, Systems Engineering, Artificial Neural Networks, Reinforcement Learning, Machine Learning, Python Programming, Automation, Algorithms

    Intermediate · Course · 1 - 3 Months

  • C

    Coursera

    The Manager-of-Managers Playbook

    Skills you'll gain: Cross-Functional Team Leadership, Executive Presence, Matrix Management, Team Performance Management, Cross-Functional Collaboration, Performance Management, Key Performance Indicators (KPIs), Performance Measurement, Crisis Management, Team Building, Project Management, Leadership, Employee Coaching, Influencing, Leadership Development, Team Management, Stakeholder Management, Organizational Development, Strategic Communication, Change Management

    Intermediate · Specialization · 3 - 6 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

  • C

    Coursera

    Build & Evaluate Real-Time Object Detectors

    Skills you'll gain: Computer Vision, Model Deployment, Performance Analysis, Performance Measurement, Data Pipelines, Quality Assessment

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Deploying Open Models

    Skills you'll gain: Model Deployment, Docker (Software), Containerization, Cloud Deployment, MLOps (Machine Learning Operations), Hugging Face, Generative AI, Cloud Computing Architecture, Serverless Computing, Cloud Hosting, Cloud Technologies, AWS SageMaker, System Monitoring, Release Management, Application Security, Infrastructure Security, Continuous Monitoring, Version Control

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Create Chatbots & NLP Apps

    Skills you'll gain: Retrieval-Augmented Generation, LLM Application, Natural Language Processing, Text Mining, Data-Driven Decision-Making, Usability Testing, Embeddings, Usability, Unstructured Data, Model Evaluation, Performance Metric

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Analyze Multimodal AI for Business Insights

    Skills you'll gain: Multimodal Prompts, Data Presentation, Strategic Thinking, AI Enablement, Customer Insights, Large Language Modeling, Analytical Skills, Data Synthesis

    Intermediate · Course · 1 - 4 Weeks

  • L

    Logical Operations

    Microsoft Excel: Data Analysis with Power Pivot

    Skills you'll gain: Key Performance Indicators (KPIs), Microsoft Excel, Data Integration, Performance Measurement, Pivot Tables And Charts, Data Visualization Software, Spreadsheet Software, Trend Analysis, Cloud-Based Integration, Time Series Analysis and Forecasting, Data Analysis, Data Modeling, Business Intelligence, Data Manipulation, Microsoft 365, Microsoft Office, Productivity Software

    Mixed · Course · 1 - 4 Weeks

Searches related to model checking

temporal logic model checking
1…353637…370

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

  • Preparing Text for AI Models: Coursera
  • Statistical and Predictive Modeling for Finance : Coursera
  • Geometry and Calculus for Computing: University of London
  • Project Sales: Excel Forecasting Functions: Coursera
  • Artificial Intelligence for Robotics: Packt
  • The Manager-of-Managers Playbook: Coursera
  • Build Data-Driven C# Desktop Applications with SQL Server: EDUCBA
  • Build & Evaluate Real-Time Object Detectors: Coursera
  • Deploying Open Models: Coursera
  • Create Chatbots & NLP Apps: Coursera

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