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

Results for "model checking"


  • U

    University of Amsterdam

    Data Analytics for Lean Six Sigma

    Skills you'll gain: Lean Six Sigma, Statistical Hypothesis Testing, Minitab, Regression Analysis, Data Visualization Software, Probability Distribution, Data Analysis, Histogram, Statistical Analysis, Box Plots, Process Improvement, Logistic Regression, Statistics, Variance Analysis

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

    Beginner · Course · 1 - 3 Months

  • U

    University of Minnesota

    Information​ ​Systems

    Skills you'll gain: Enterprise Resource Planning, Business Systems Analysis, Systems Analysis, Requirements Analysis, Cybersecurity, Business Requirements, Business Analysis, Business Systems, Cloud Computing, Cloud Services, Change Management, Business Technologies, Information Technology, Organizational Change, Technology Strategies, Process Flow Diagrams, System Implementation, Governance, Project Management, Critical Thinking

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

    Beginner · Specialization · 3 - 6 Months

  • A

    Alex Genadinik

    Introduction to Stablecoins: How And When To Use Them

    Skills you'll gain: Market Liquidity, Payment Systems, Blockchain, Financial Analysis, Risk Management, Digital Assets, FinTech, Financial Regulation, Financial Trading, International Finance

    Mixed · Course · 1 - 3 Months

  • E

    EDUCBA

    Build a Product Listing Website Using VBScript

    Skills you'll gain: Database Design, Frontend Integration, Database Application, Web Applications, Web Development, Authentications, Web Design and Development, Full-Stack Web Development, Back-End Web Development, User Accounts, Data Management, Visual Basic (Programming Language), Scripting Languages, Data Validation

    Beginner · Course · 1 - 4 Weeks

  • L

    LearnKartS

    Master Microsoft Excel with Copilot

    Skills you'll gain: Prompt Engineering, Excel Formulas, Microsoft Copilot, Microsoft Excel, Pivot Tables And Charts, Data Cleansing, Data Visualization, Excel Macros, Data Literacy, Data Presentation, Data Manipulation, Spreadsheet Software, Data Entry, Data Quality, Data Transformation, Data Validation, Data Analysis, Workflow Management, AI Workflows, Decision Making

    Beginner · Course · 1 - 4 Weeks

  • U

    University of London

    Mathematical Foundations for Computing

    Skills you'll gain: Theoretical Computer Science, Computational Logic, Programming Principles, Computer Science, Algorithms, Computational Thinking, Database Theory, Mathematical Modeling, Data Structures, General Mathematics, Applied Mathematics, Business Mathematics, Advanced Mathematics, Logical Reasoning, Problem Solving

    Beginner · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Build a Calls Management System in C# .NET

    Skills you'll gain: Usability, Software Development Methodologies, Software Design, Microsoft Development Tools, Databases, Debugging, Data Validation

    Beginner · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Develop a Ride-Sharing App Using Swift and Firebase

    Skills you'll gain: Apple iOS, Mobile Development, Apple Xcode, Swift Programming, UI Components, User Interface (UI), Application Development, User Interface (UI) Design, Authentications, Secure Coding, Application Frameworks, Geospatial Information and Technology, Program Development, Real Time Data, Storyboarding, Databases, Debugging, Data Validation

    Beginner · Course · 1 - 4 Weeks

  • P

    Packt

    Blender Texturing, Sculpting and Unity Integration

    Skills you'll gain: 3D Modeling, 3D Assets, Unity Engine, Computer Graphic Techniques, Animation and Game Design, Video Game Development, Graphics Software, Data Mapping, Data Import/Export, Systems Integration

    Intermediate · Course · 1 - 3 Months

  • C

    Coursera

    Cleanse, Analyze and Validate Financial Data

    Skills you'll gain: Data Validation, Pivot Tables And Charts, Dashboard, Microsoft Excel, Financial Data, Data Cleansing, Case Studies, Data Transformation, Data Quality, Data Integrity, Data Manipulation, Data Integration, Financial Analysis, Automation

    Intermediate · Course · 1 - 4 Weeks

  • I

    IBM

    Introduction to Neural Networks and PyTorch

    Skills you'll gain: PyTorch (Machine Learning Library), Statistical Methods, Logistic Regression, Tensorflow, Artificial Neural Networks, Probability & Statistics, Regression Analysis, Model Evaluation, Data Preprocessing

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

    Intermediate · Course · 1 - 3 Months

  • E

    EDUCBA

    Apply Advanced SPSS Data Analytics & Modeling

    Skills you'll gain: Dashboard, Data Transformation, SPSS (Software), SPSS, Descriptive Analytics, Data Visualization, Logistic Regression, Regression Analysis, Correlation Analysis, Analytics, Data Presentation, Data Preprocessing, Descriptive Statistics, Business Analytics, Statistical Modeling, Advanced Analytics, Data Analysis, Exploratory Data Analysis, Market Data, Statistical Analysis

    Beginner · Specialization · 3 - 6 Months

Searches related to model checking

temporal logic model checking
1…535455…370

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

  • Data Analytics for Lean Six Sigma: University of Amsterdam
  • Information​ ​Systems: University of Minnesota
  • Introduction to Stablecoins: How And When To Use Them: Alex Genadinik
  • Build a Product Listing Website Using VBScript: EDUCBA
  • Master Microsoft Excel with Copilot: LearnKartS
  • Mathematical Foundations for Computing: University of London
  • Build a Calls Management System in C# .NET: EDUCBA
  • Develop a Ride-Sharing App Using Swift and Firebase: EDUCBA
  • Blender Texturing, Sculpting and Unity Integration: Packt
  • Cleanse, Analyze and Validate Financial Data: 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