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

Results for "model checking"


  • P

    Packt

    Master Inventory System – Unity 6 & Blender

    Skills you'll gain: 3D Assets, Unity Engine, 3D Modeling, Video Game Development, User Interface (UI) Design, Debugging, Game Design, User Interface and User Experience (UI/UX) Design, Computer Graphic Techniques, Program Development, Computer Graphics, Interaction Design, Integration Testing, Animation and Game Design, Scripting, C# (Programming Language), Technical Design, Graphics Software, Object Oriented Programming (OOP), Data Mapping

    Intermediate · Specialization · 3 - 6 Months

  • E

    EDUCBA

    Develop a Java Student Management System

    Skills you'll gain: User Interface (UI) Design, Java, Application Design, Application Development, Databases, Development Environment, Data Validation, Debugging, Program Development, Data Modeling, Transaction Processing, Maintainability

    Beginner · Course · 1 - 4 Weeks

  • J

    Johns Hopkins University

    Data Science: Statistics and Machine Learning

    Skills you'll gain: Shiny (R Package), Rmarkdown, Model Evaluation, Regression Analysis, Exploratory Data Analysis, Statistical Inference, Predictive Modeling, Statistical Hypothesis Testing, Machine Learning Algorithms, Plotly, Interactive Data Visualization, Probability & Statistics, Statistical Machine Learning, Data Presentation, Data Visualization, Statistical Analysis, Statistical Modeling, R Programming, Machine Learning, GitHub

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

    Intermediate · Specialization · 3 - 6 Months

  • M

    Microsoft

    Extract, Transform and Load Data in Power BI

    Skills you'll gain: Extract, Transform, Load, Power BI, Data Integrity, Data Validation, Data Transformation, Data Cleansing, Data Storage, Data Quality, Data Analysis, Data Manipulation, Data Integration, Data Storage Technologies, Data Import/Export

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

    Beginner · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Apply Protocol-Oriented Programming in Swift Applications

    Skills you'll gain: Swift Programming, Apple iOS, iOS Development, Software Design Patterns, Object Oriented Programming (OOP), Maintainability, Data Modeling, Application Design, Programming Principles, Testability, User Interface (UI)

    Beginner · Course · 1 - 4 Weeks

  • U

    University of California San Diego

    Bioinformatics

    Skills you'll gain: Bioinformatics, Molecular Biology, Dimensionality Reduction, Unsupervised Learning, Data Analysis, Markov Model, Network Analysis, Biochemistry, Biotechnology, Life Sciences, Infectious Diseases, Microbiology, Statistical Analysis, Biology, Algorithms, Data Preprocessing, Machine Learning, Data Analysis Software, Data Mapping, Python Programming

    4.3
    Rating, 4.3 out of 5 stars
    ·
    1.3K reviews

    Beginner · Specialization · 3 - 6 Months

  • C

    Coursera

    Data Visualization & Business Intelligence

    Skills you'll gain: Data Storytelling, Data Presentation, Dashboard, Data Analysis Expressions (DAX), Power BI, Data Visualization, Key Performance Indicators (KPIs), Data Transformation, Data Literacy, Presentations, Data Synthesis, Usability Testing, Microsoft PowerPoint, Star Schema, Data Integration, Microsoft Excel, Business Intelligence, Data Manipulation, Data Visualization Software, Data Cleansing

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

    Beginner · Specialization · 3 - 6 Months

  • C

    Coursera

    Optimize and Deploy Edge AI Models

    Intermediate · Course · 1 - 4 Weeks

  • U

    Universidad de los Andes

    Fundamentos de Finanzas Empresariales

    Skills you'll gain: Financial Statement Analysis, Finance, Financial Analysis, Income Statement, Capital Budgeting, Balance Sheet, Financial Modeling, Financial Management, Business Mathematics, Corporate Finance, Return On Investment, Microsoft Excel, Investment Management, Cash Flows, Business Metrics, Loans

    4.9
    Rating, 4.9 out of 5 stars
    ·
    4.9K reviews

    Beginner · Course · 1 - 3 Months

  • E

    EDUCBA

    Master & Apply Entity Framework for Data Access

    Skills you'll gain: Database Design, Data Modeling, .NET Framework, Object-Relational Mapping, Database Development, Query Languages, Data Access, Data Management, C# (Programming Language), SQL

    Beginner · Course · 1 - 4 Weeks

  • D

    DeepLearning.AI

    Generative Adversarial Networks (GANs)

    Skills you'll gain: Generative Adversarial Networks (GANs), Generative Model Architectures, Generative AI, PyTorch (Machine Learning Library), Image Analysis, Convolutional Neural Networks, Deep Learning, Model Evaluation, Responsible AI, Artificial Neural Networks, Data Ethics, Machine Learning, Image Quality, Unsupervised Learning, Information Privacy, Data Synthesis

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

    Intermediate · Specialization · 1 - 3 Months

  • E

    EDUCBA

    Apply Neural Networks for Car Price Prediction

    Skills you'll gain: Exploratory Data Analysis, Feature Engineering, Data Analysis, Data Preprocessing, Model Evaluation, Data Cleansing, Data Transformation, Predictive Modeling, Pandas (Python Package), Applied Machine Learning, Statistical Methods, Regression Analysis, Scikit Learn (Machine Learning Library), Artificial Neural Networks

    Beginner · Course · 1 - 4 Weeks

Searches related to model checking

temporal logic model checking
1…323334…372

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

  • Master Inventory System – Unity 6 & Blender: Packt
  • Develop a Java Student Management System: EDUCBA
  • Data Science: Statistics and Machine Learning: Johns Hopkins University
  • Extract, Transform and Load Data in Power BI: Microsoft
  • Apply Protocol-Oriented Programming in Swift Applications: EDUCBA
  • Bioinformatics: University of California San Diego
  • Data Visualization & Business Intelligence: Coursera
  • Optimize and Deploy Edge AI Models: Coursera
  • Fundamentos de Finanzas Empresariales : Universidad de los Andes
  • Master & Apply Entity Framework for Data Access: EDUCBA

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