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

Results for "model checking"


  • Status: Free Trial
    Free Trial
    T

    Tecnológico de Monterrey

    Design and innovation of business model

    Skills you'll gain: Business Modeling, Entrepreneurship, Storytelling, Design Thinking, Business Strategies, Innovation, Business Process, Strategic Thinking, Systems Thinking, Presentations, Case Studies, Market Opportunities, Data Visualization, Value Propositions, Competitive Analysis

    3.9
    Rating, 3.9 out of 5 stars
    ·
    9 reviews

    Advanced · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    C

    Coursera

    GenAI and Model Selection

    Skills you'll gain: Generative Model Architectures, Generative AI, Applied Machine Learning, Statistical Modeling, Prompt Engineering, Large Language Modeling, Strategic Decision-Making, Machine Learning, Systems Integration, Software Development, Scalability, Innovation

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    K

    Kennesaw State University

    Business Model Canvas: A Tool for Entrepreneurs and Innovators (Project-Centered Course)

    Skills you'll gain: Value Propositions, Business Modeling, Presentations, Customer Analysis, Innovation, Customer Relationship Management, Entrepreneurship, Marketing Channel, Business Strategy, Strategic Partnership, Cost Management, Revenue Management, Resource Management

    4.7
    Rating, 4.7 out of 5 stars
    ·
    681 reviews

    Beginner · Course · 1 - 3 Months

  • P

    Packt

    Software Security Testing

    Skills you'll gain: Software Testing, Open Web Application Security Project (OWASP), Business Logic, Development Testing, Secure Coding, Cryptography, Cybersecurity, Test Case, Identity and Access Management, Authentications, Vulnerability Assessments, Data Validation, Network Protocols, Authorization (Computing), Web Applications

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    I

    Imperial College London

    Building on the SIR Model

    Skills you'll gain: Mathematical Modeling, Statistical Modeling, Simulations, Risk Modeling, Epidemiology, Infectious Diseases, R Programming, Public Health

    4.7
    Rating, 4.7 out of 5 stars
    ·
    24 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado System

    SRS Documents: Requirements and Diagrammatic Notations

    Skills you'll gain: Software Design Documents, User Requirements Documents, Functional Requirement, Software Documentation, Unified Modeling Language, Requirements Analysis, System Requirements, Technical Documentation, Technical Writing, Data Modeling, Dataflow

    4.4
    Rating, 4.4 out of 5 stars
    ·
    56 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado System

    Clinical Data Models and Data Quality Assessments

    Skills you'll gain: Extract, Transform, Load, Data Modeling, Clinical Data Management, Database Design, Data Warehousing, Data Quality, Data Transformation, Data Integration, Health Informatics, Relational Databases, SQL

    4.2
    Rating, 4.2 out of 5 stars
    ·
    66 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Equivalent Circuit Cell Model Simulation

    Skills you'll gain: Simulations, Matlab, Mathematical Modeling, Electronic Systems, Power Electronics, Electrical Engineering, Electrical Systems, Predictive Modeling, Engineering Calculations, Engineering Analysis, Applied Mathematics, Basic Electrical Systems, Analytical Testing, Scripting, Numerical Analysis, Scripting Languages, Laboratory Testing

    4.7
    Rating, 4.7 out of 5 stars
    ·
    551 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free
    Free
    C

    Coursera

    Form Validation with Cypress: Build Robust Web Test

    Skills you'll gain: Test Automation, Software Testing, Functional Testing, Web Development Tools, Usability Testing, Data Validation, Debugging, Maintainability

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    I

    Illinois Tech

    Model Diagnostics and Remedial Measures

    Skills you'll gain: Regression Analysis, Data Validation, Feature Engineering, Exploratory Data Analysis, Statistical Modeling, Data Transformation, Statistical Methods, Plot (Graphics), Statistical Analysis, R Programming, Correlation Analysis, Time Series Analysis and Forecasting, Statistical Inference, Linear Algebra, Statistical Hypothesis Testing, Probability Distribution

    Build toward a degree

    4.9
    Rating, 4.9 out of 5 stars
    ·
    8 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Mastering Neural Networks and Model Regularization

    Skills you'll gain: PyTorch (Machine Learning Library), Deep Learning, Supervised Learning, Artificial Neural Networks, Decision Tree Learning, Machine Learning Algorithms, Machine Learning, Computer Vision, Network Architecture, Performance Tuning

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    W

    Whizlabs

    AWS: Model Training , Optimization & Deployment

    Skills you'll gain: Amazon Elastic Compute Cloud, Continuous Deployment, Continuous Integration, Debugging

    Intermediate · Course · 1 - 4 Weeks

Searches related to model checking

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

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

  • Design and innovation of business model: Tecnológico de Monterrey
  • GenAI and Model Selection: Coursera
  • Business Model Canvas: A Tool for Entrepreneurs and Innovators (Project-Centered Course): Kennesaw State University
  • Software Security Testing: Packt
  • Building on the SIR Model: Imperial College London
  • SRS Documents: Requirements and Diagrammatic Notations: University of Colorado System
  • Clinical Data Models and Data Quality Assessments: University of Colorado System
  • Equivalent Circuit Cell Model Simulation: University of Colorado Boulder
  • Form Validation with Cypress: Build Robust Web Test: Coursera
  • Model Diagnostics and Remedial Measures: Illinois Tech

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