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

Results for "model checking"


  • C

    Coursera

    Program Management: Stakeholders Identification in ClickUp

    Skills you'll gain: Program Management, Stakeholder Management, Stakeholder Analysis, Project Management Software, Project Design, Program Development, Process Flow Diagrams, Agile Methodology

    ★ 4.8 (14) · Intermediate · Guided Project · Less Than 2 Hours

    Category: Free
    Free
    Category: Credit offered
    Credit offered
  • U

    University of Washington

    Power BI Basics: Requirements to Visualizations

    Skills you'll gain: Power BI, Data Modeling, Data Transformation, Business Requirements, Star Schema, Data Visualization Software, Snowflake Schema, Relational Databases, Data Integration, Database Design, Data Import/Export, Data Cleansing, Data Analysis Expressions (DAX), Business Intelligence, Data Analysis, Stakeholder Management, Decision Making

    Beginner · Course · 1 - 4 Weeks

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • P

    Packt

    YOLO-NAS + v8 Full-Stack Computer Vision Course

    Skills you'll gain: Computer Vision, Mobile Development, Model Deployment, PyTorch (Machine Learning Library), Application Development, Tensorflow, Transfer Learning, Application Deployment, Data Preprocessing, Model Evaluation, User Interface (UI), Development Environment, Real Time Data, User Interface (UI) Design

    Intermediate · Course · 1 - 3 Months

    Category: Credit offered
    Credit offered
  • E

    EDUCBA

    Project Finance Fundamentals: Analyze & Structure Deals

    Skills you'll gain: Project Finance, Feasibility Studies, Cost Estimation, Financial Analysis, Project Risk Management, Risk Analysis, Return On Investment, Financial Statements, Financial Modeling, Case Studies, Stakeholder Analysis, Due Diligence, Loans, Cash Flows, Market Analysis

    ★ 4.8 (13) · Mixed · Course · 1 - 4 Weeks

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • I

    Illinois Tech

    Bayesian Computational Statistics

    Skills you'll gain: Bayesian Statistics, Data Analysis, Statistical Inference, Regression Analysis, Statistical Analysis, Statistical Modeling, Statistical Programming, Sampling (Statistics), R Programming, Markov Model, Logistic Regression, Probability, Simulations, Model Evaluation, Probability Distribution

    Intermediate · Course · 1 - 3 Months

    Status: Free Trial
    Free Trial
    Category: Build toward a degree
    Build toward a degree
  • A

    Alberta Machine Intelligence Institute

    Introduction to Generative AI: Concepts and Techniques

    Skills you'll gain: Prompt Engineering, Retrieval-Augmented Generation, Generative AI, Generative Model Architectures, Large Language Modeling, ChatGPT, OpenAI API, Open Source Technology, Responsible AI, Embeddings, Artificial Intelligence, Data Ethics, Natural Language Processing, Information Privacy

    Mixed · Course · 1 - 4 Weeks

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • B

    Board Infinity

    JavaScript for Web Development

    Skills you'll gain: jQuery, Javascript, Web Applications

    ★ 4.3 (18) · Intermediate · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • I

    IBM

    Data Warehousing Capstone Project

    Skills you'll gain: Data Warehousing, Peer Review, IBM Cognos Analytics, Data Pipelines, Extract, Transform, Load, MySQL, Databases, Data Modeling, Database Design, Business Intelligence, Dashboard, Analytics, Business Analytics, PostgreSQL, Shell Script, SQL

    ★ 4.8 (28) · Intermediate · Course · 1 - 3 Months

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • C

    Case Western Reserve University

    Basic Principles of Geostatistical Geospatial Modeling

    Skills you'll gain: Geostatistics, Exploratory Data Analysis, Spatial Data Analysis, Spatial Analysis, Geospatial Mapping, Geospatial Information and Technology, Statistical Modeling, R Programming, Statistical Analysis, Probability & Statistics, Data Analysis, Data-Driven Decision-Making, Regression Analysis, Correlation Analysis, Data Validation, Histogram, Box Plots, Simulation and Simulation Software, Model Evaluation

    Beginner · Course · 1 - 3 Months

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • D

    Dassault Systèmes

    xDesign Assemblies and Exam Level Part Modeling

    Skills you'll gain: SolidWorks (CAD), 3D Modeling, Computer-Aided Design, Assembly Drawing, Mechanical Design, Engineering Design Process, Mechanical Engineering

    ★ 5 (10) · Beginner · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • U

    University of Michigan

    How to Describe Data

    Skills you'll gain: Histogram, Data Visualization, Data Literacy, Data Presentation, Descriptive Statistics, Data Storytelling, Statistics, Data Analysis, Statistical Visualization, Sampling (Statistics), Data Validation

    ★ 4.7 (27) · Beginner · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • C

    Coursera

    Data Ingestion, Exploration & Visualization in Qlik Sense

    Skills you'll gain: Data Visualization Software, Data Modeling, Dashboard, Interactive Data Visualization, Data Presentation, Data Processing, Data Storytelling, Data Transformation, Data Preprocessing, Data Integration, Data Cleansing, Data Import/Export, Data Analysis, Data Quality, Key Performance Indicators (KPIs)

    ★ 4.9 (13) · Intermediate · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
1…243244245…390

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

  • Program Management: Stakeholders Identification in ClickUp: Coursera
  • Power BI Basics: Requirements to Visualizations : University of Washington
  • YOLO-NAS + v8 Full-Stack Computer Vision Course: Packt
  • Project Finance Fundamentals: Analyze & Structure Deals: EDUCBA
  • Bayesian Computational Statistics: Illinois Tech
  • Introduction to Generative AI: Concepts and Techniques: Alberta Machine Intelligence Institute
  • JavaScript for Web Development: Board Infinity
  • Data Warehousing Capstone Project: IBM
  • Basic Principles of Geostatistical Geospatial Modeling: Case Western Reserve University
  • xDesign Assemblies and Exam Level Part Modeling: Dassault Systèmes

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