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

Results for "model checking"


  • Status: Preview
    Preview
    K

    Knowledge Accelerators

    From Excel to Power BI

    Skills you'll gain: Data Modeling, Data Visualization, Power BI, Data Visualization Software, Dashboard, Data Presentation, Interactive Data Visualization, Data Import/Export, Data Analysis, Data Analysis Expressions (DAX), Data Synthesis, Data Transformation, Trend Analysis, Data Sharing, Excel Formulas, Business Analytics, Microsoft 365, Key Performance Indicators (KPIs)

    4.5
    Rating, 4.5 out of 5 stars
    ·
    1.6K reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    D

    DeepLearning.AI

    Convolutional Neural Networks in TensorFlow

    Skills you'll gain: Tensorflow, Keras (Neural Network Library), Computer Vision, Image Analysis, Applied Machine Learning, Deep Learning, Artificial Neural Networks, Predictive Modeling, Machine Learning, Supervised Learning, Data Processing

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

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of California, Irvine

    Human Resources Analytics

    Skills you'll gain: Data Storytelling, Data Presentation, Human Resource Strategy, HR Tech, Employee Relations, Employee Performance Management, Performance Metric, Dashboard, Data Analysis, Training and Development, Compensation Strategy, Business Metrics, Employee Retention, Compensation and Benefits, Talent Recruitment, Business Analysis, Employee Engagement, Mental Health

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

    Beginner · Course · 1 - 4 Weeks

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

    DeepLearning.AI

    PyTorch: Techniques and Ecosystem Tools

    Skills you'll gain: Artificial Neural Networks

    5
    Rating, 5 out of 5 stars
    ·
    7 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    C

    Columbia University

    Construction Management

    Skills you'll gain: Project Schedules, Construction Management, Construction Estimating, Project Finance, Cost Estimation, Punch Work, Construction, Project Risk Management, Bidding, Building Information Modeling, Scheduling, Cost Control, Environment Health And Safety, Project Closure, Lean Methodologies, Timelines, Real Estate, Finance, Business Transformation, Innovation

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

    Beginner · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    T

    The Hong Kong University of Science and Technology

    Python and Statistics for Financial Analysis

    Skills you'll gain: Statistical Inference, Statistical Methods, Pandas (Python Package), Probability & Statistics, Risk Analysis, Financial Trading, Financial Data, Data Manipulation, Statistical Analysis, Regression Analysis, Financial Analysis, Jupyter, Probability Distribution, Python Programming, Data Visualization

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

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Statistics with Python

    Skills you'll gain: Statistical Hypothesis Testing, Sampling (Statistics), Statistical Modeling, Statistical Methods, Statistical Inference, Bayesian Statistics, Data Visualization, Statistics, Matplotlib, Statistical Visualization, Statistical Software, Probability & Statistics, Statistical Analysis, Jupyter, Statistical Programming, Regression Analysis, Data Visualization Software, Predictive Modeling, Data Analysis, Python Programming

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

    Beginner · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Web Application Technologies and Django

    Skills you'll gain: Django (Web Framework), HTML and CSS, Model View Controller, Application Deployment, Application Frameworks, Web Applications, Cascading Style Sheets (CSS), Web Servers, SQL, Databases, Network Protocols, Python Programming

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

    Intermediate · Course · 1 - 3 Months

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

    EDUCBA

    ZBrush Basics: Sculpt, Render & Finalize 3D Models

    Skills you'll gain: 3D Modeling, 3D Assets, Visualization (Computer Graphics), Graphical Tools, Design Software, Computer Graphic Techniques, User Interface (UI), Graphics Software

    Mixed · Course · 1 - 4 Weeks

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

    Dartmouth College

    Practical Machine Learning: Foundations to Neural Networks

    Skills you'll gain: Supervised Learning, Bayesian Network, Artificial Neural Networks, Predictive Analytics, Machine Learning Methods, Statistical Modeling, Predictive Modeling, Statistical Machine Learning, Probability & Statistics, Bayesian Statistics, Deep Learning, Tensorflow, Artificial Intelligence and Machine Learning (AI/ML), Machine Learning, Machine Learning Algorithms, Applied Machine Learning, Statistical Methods, Artificial Intelligence, Regression Analysis, Statistical Inference

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    C

    Columbia University

    Construction Project Management

    Skills you'll gain: Construction Management, Construction, Building Information Modeling, Environment Health And Safety, Project Schedules, Lean Methodologies, Work Breakdown Structure, Project Management, Engineering Management, Project Management Life Cycle, Sustainability Standards, Contract Management, Project Scoping, Project Planning, Risk Management

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

    Beginner · Course · 1 - 3 Months

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

    Packt

    Advanced Environment Creation and Urban Development

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

    Advanced · Course · 3 - 6 Months

Searches related to model checking

model checking with sat and smt
quantitative model checking
automated reasoning: symbolic model checking
temporal logic model checking
1…242526…256

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

  • From Excel to Power BI: Knowledge Accelerators
  • Convolutional Neural Networks in TensorFlow: DeepLearning.AI
  • Human Resources Analytics: University of California, Irvine
  • PyTorch: Techniques and Ecosystem Tools: DeepLearning.AI
  • Construction Management: Columbia University
  • Python and Statistics for Financial Analysis: The Hong Kong University of Science and Technology
  • Statistics with Python: University of Michigan
  • Web Application Technologies and Django: University of Michigan
  • ZBrush Basics: Sculpt, Render & Finalize 3D Models: EDUCBA
  • Practical Machine Learning: Foundations to Neural Networks: Dartmouth College

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