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

Results for "model checking"


  • Status: Free Trial
    Free Trial
    C

    Coursera

    Data Warehousing: Schema, ETL, Optimal Performance

    Skills you'll gain: Data Warehousing, Extract, Transform, Load, Snowflake Schema, Star Schema, Business Intelligence, Data Modeling, Database Design, Data Management, Data Integration, Performance Tuning, Databases, Data Transformation, Scalability

    4.1
    Rating, 4.1 out of 5 stars
    ·
    18 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    P

    Packt

    Managing Data as a Product: Scalable Data Architectures

    Skills you'll gain: Data Architecture, Data Infrastructure, Distributed Computing, Data Modeling, Scalability, Data Management, Data Strategy, Microservices, Solution Architecture, Data Governance, Software Architecture, Semantic Web, Data Integration, Information Architecture, CI/CD, Software Design, Maintainability, Enterprise Architecture, Data Analysis, Generative AI

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Illinois Urbana-Champaign

    Alternative Investments as You Age

    Skills you'll gain: Case Studies, Financial Planning, Risk Modeling, Land Management, Financial Modeling, Commercial Real Estate, Succession Planning, Regulatory Requirements, Risk Mitigation, Blockchain

    4.1
    Rating, 4.1 out of 5 stars
    ·
    7 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    E

    EDUCBA

    AI Driven Machine Learning with Python

    Skills you'll gain: Model Evaluation, Classification Algorithms, Regression Analysis, Matplotlib, Feature Engineering, Time Series Analysis and Forecasting, Data Preprocessing, Jupyter, Image Analysis, Cloud Deployment, Scikit Learn (Machine Learning Library), Applied Machine Learning, Tensorflow, Amazon Web Services, Python Programming, Data Transformation, Logistic Regression, Machine Learning Methods, Machine Learning, Artificial Intelligence and Machine Learning (AI/ML)

    4.8
    Rating, 4.8 out of 5 stars
    ·
    13 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    M

    Macquarie University

    Cyber Security: DevSecOps

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    F

    FAIR Institute

    Foundations of Cyber Risk Management and FAIRâ„¢

    Skills you'll gain: Risk Analysis, Cyber Risk, Cyber Threat Intelligence, Threat Modeling, Cyber Security Strategy, Governance, Risk Management, Enterprise Risk Management (ERM), Strategic Decision-Making, Risk Mitigation, Business Risk Management, Strategic Prioritization, Compliance Reporting, Management Reporting, Business Communication

    4.5
    Rating, 4.5 out of 5 stars
    ·
    12 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free
    Free
    C

    Coursera

    Análisis de documentos con servicios cognitivos de Azure

    Skills you'll gain: Model Evaluation, Unsupervised Learning, Microsoft Azure, Machine Learning Methods, Data Validation, No-Code Development, Data Processing, Document Management, Cloud Services

    4.8
    Rating, 4.8 out of 5 stars
    ·
    24 reviews

    Beginner · Guided Project · Less Than 2 Hours

  • G

    Google Cloud

    Machine Learning with Spark on Google Cloud Dataproc

    Skills you'll gain: Model Evaluation, Apache Spark, Google Cloud Platform, Logistic Regression, Predictive Modeling, Big Data, Data Preprocessing, Applied Machine Learning

    Intermediate · Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    A

    Automatic Data Processing, Inc. (ADP)

    Creating Trust & Support

    Skills you'll gain: Trustworthiness, Team Building, Team Motivation, Team Management, Team Leadership, Teamwork, Honesty, Relationship Building, Empathy, Collaboration, Professional Development, Storytelling, Mindfulness

    4.6
    Rating, 4.6 out of 5 stars
    ·
    11 reviews

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Creating a Product-Market Fit with Value Proposition Canvas

    Skills you'll gain: Value Propositions, Customer Analysis, Product Management, Product Strategy, Customer Insights, New Product Development, Product Development, Entrepreneurship, Competitive Analysis, Market Opportunities, Innovation, Leadership

    4.3
    Rating, 4.3 out of 5 stars
    ·
    17 reviews

    Intermediate · Guided Project · Less Than 2 Hours

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

    Packt

    Power BI Masterclass

    Skills you'll gain: Data Analysis Expressions (DAX), Customer Insights, Power BI, Data Modeling, Dashboard, Data Transformation, Data Import/Export, Data Manipulation, Data Literacy, Database Design, Interactive Data Visualization, Data Processing, Big Data, Business Intelligence, Data Integration, Star Schema, Time Series Analysis and Forecasting, Data Visualization Software, Data Cleansing, Trend Analysis

    4.6
    Rating, 4.6 out of 5 stars
    ·
    8 reviews

    Beginner · Specialization · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Glasgow

    Machine Learning and its Applications

    Skills you'll gain: Data Preprocessing, Model Evaluation, Classification Algorithms, Artificial Intelligence and Machine Learning (AI/ML)

    5
    Rating, 5 out of 5 stars
    ·
    47 reviews

    Beginner · Course · 1 - 3 Months

1…218219220…389

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

  • Data Warehousing: Schema, ETL, Optimal Performance: Coursera
  • Managing Data as a Product: Scalable Data Architectures: Packt
  • Alternative Investments as You Age: University of Illinois Urbana-Champaign
  • AI Driven Machine Learning with Python: EDUCBA
  • Cyber Security: DevSecOps: Macquarie University
  • Foundations of Cyber Risk Management and FAIRâ„¢: FAIR Institute
  • Análisis de documentos con servicios cognitivos de Azure: Coursera
  • Machine Learning with Spark on Google Cloud Dataproc: Google Cloud
  • Creating Trust & Support: Automatic Data Processing, Inc. (ADP)
  • Creating a Product-Market Fit with Value Proposition Canvas: 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