• 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
    A

    Amazon Web Services

    Bringing Ideas to Life Using AI

    Skills you'll gain: Generative AI, Generative AI Agents, Amazon Bedrock, Agentic systems, AI Product Strategy, Responsible AI, Agentic Workflows, AI Integrations, LLM Application, Application Programming Interface (API), Application Development, Amazon Web Services, Data Governance, Commercialization, Cost Management, Personally Identifiable Information, Cost Containment, Cost Control, Model Training, Compliance Management

    4.6
    Rating, 4.6 out of 5 stars
    ·
    31 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    C

    Coursera

    Foundations of Machine Learning

    Skills you'll gain: Model Evaluation, Supervised Learning, Unsupervised Learning, Data Preprocessing, Time Series Analysis and Forecasting, Applied Machine Learning, Model Training, Machine Learning Algorithms, Feature Engineering, Machine Learning Software, Dimensionality Reduction, Machine Learning, Predictive Modeling, Predictive Analytics, Scikit Learn (Machine Learning Library), Classification Algorithms, Forecasting, Decision Tree Learning, Anomaly Detection, Data Manipulation

    4.5
    Rating, 4.5 out of 5 stars
    ·
    15 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    E

    Edureka

    Power BI Developer

    Skills you'll gain: Data Analysis Expressions (DAX), Power BI, Dashboard, Business Intelligence, Data Modeling, Data Storytelling, Extract, Transform, Load, Data Transformation, Data Visualization, Snowflake Schema, Business Analytics, Data Lakes, Data-Driven Decision-Making, Key Performance Indicators (KPIs), Data Analysis, Data Governance, Python Programming, Generative AI, Artificial Intelligence, Data Security

    3.8
    Rating, 3.8 out of 5 stars
    ·
    6 reviews

    Intermediate · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Diagnosing Health Behaviors for Global Health Programs

    Skills you'll gain: Health Promotion, Behavioral Health, Health Education, Public Health, Public Health and Disease Prevention, Applied Behavior Analysis, Health Policy, Community Health, Culture, Social Sciences, Program Evaluation, Learning Theory, Human Learning

    4.7
    Rating, 4.7 out of 5 stars
    ·
    96 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    I

    Illinois Tech

    Introduction to Data Science Techniques

    Skills you'll gain: Statistical Analysis, Time Series Analysis and Forecasting, Data Analysis, Machine Learning Algorithms, Model Evaluation, Data Visualization, Data Science, Exploratory Data Analysis, Data Presentation, Statistical Programming, Statistical Methods, Statistical Machine Learning, Analysis, Statistical Modeling, Applied Machine Learning, Probability & Statistics, R (Software), Statistical Software, Forecasting, Machine Learning

    Build toward a degree

    4.3
    Rating, 4.3 out of 5 stars
    ·
    22 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Human Capital: Strategic HR and Managing Talent

    Skills you'll gain: Human Capital, Human Resources Management and Planning, Human Resource Strategy, Human Resources, Organizational Change, Change Management, Talent Management, Organizational Strategy, HR Tech, Crisis Management, Strategic Leadership, Talent Acquisition, Workforce Development, Team Building, Team Management, Leadership Development, People Analytics, Talent Recruitment, Leadership, Cultural Diversity

    4.8
    Rating, 4.8 out of 5 stars
    ·
    45 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Cape Town

    Capstone Course: Start Up Your Fintech Future

    Skills you'll gain: Business Modeling, Video Production, Entrepreneurship, FinTech, Business Planning, Sales Presentations, Ideation, Financial Regulation, Presentations, Financial Regulations, Regulatory Requirements, Regulatory Compliance, Value Propositions, New Business Development, Law, Regulation, and Compliance, Innovation, Brainstorming, Market Opportunities, Customer Analysis

    4.6
    Rating, 4.6 out of 5 stars
    ·
    20 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of Colorado Boulder

    #talkmentalillness

    Skills you'll gain: Community Mental Health Services, Mental Health, Mental Health Therapies, Health Disparities, Clinical Psychology, Mental Health Diseases and Disorders, Cultural Responsiveness, Culture, Mental and Behavioral Health, Psychology, Health Equity, Cognitive Behavioral Therapy, Cultural Diversity, Behavioral Health, Cultural Sensitivity, Substance Abuse, Research

    4.5
    Rating, 4.5 out of 5 stars
    ·
    53 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free
    Free
    C

    Clemson University

    Database Management Systems

    Skills you'll gain: Database Systems, Database Management, Database Design, Database Management Systems, MySQL, Database Theory, Relational Databases, Database Software, Data Modeling, Database Development, Database Architecture and Administration, SQL, NoSQL, Diagram Design, Dependency Analysis

    Build toward a degree

    4.4
    Rating, 4.4 out of 5 stars
    ·
    70 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    M

    Microsoft

    Microsoft Data Architecture for Modern Data Stacks

    Skills you'll gain: Star Schema, Snowflake Schema, Data Lakes, Data Governance, Data Warehousing, CI/CD, Database Design, Microsoft Azure, Power BI, Continuous Integration, Real Time Data, Data Pipelines, Microsoft Copilot, Data Management, Data Architecture, Model Optimization, Transact-SQL, Enterprise Architecture, SQL, Cloud Infrastructure

    Intermediate · Professional Certificate · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    L

    LearnKartS

    Salesforce Admin & App Builder Certification Prep

    Skills you'll gain: Salesforce, Salesforce Development, Application Deployment, Workflow Management, Dashboard, Data Import/Export, Ad Hoc Reporting, Change Control, Email Automation, Data Maintenance, Authentications, Customer Relationship Management (CRM) Software, Configuration Management, Data Access, Responsive Web Design, System Configuration, Role-Based Access Control (RBAC), Data Management, Customer Relationship Management, Business Logic

    4.2
    Rating, 4.2 out of 5 stars
    ·
    9 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Advanced Malware and Network Anomaly Detection

    Skills you'll gain: Anomaly Detection, Malware Protection, Threat Detection, Network Analysis, AI Security, Cybersecurity, Model Evaluation, Network Security, Machine Learning Methods, Classification Algorithms, Microsoft Windows

    4.7
    Rating, 4.7 out of 5 stars
    ·
    22 reviews

    Intermediate · Course · 1 - 4 Weeks

1…203204205…426

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

  • Bringing Ideas to Life Using AI: Amazon Web Services
  • Foundations of Machine Learning: Coursera
  • Power BI Developer: Edureka
  • Diagnosing Health Behaviors for Global Health Programs: Johns Hopkins University
  • Introduction to Data Science Techniques: Illinois Tech
  • Human Capital: Strategic HR and Managing Talent: University of Michigan
  • Capstone Course: Start Up Your Fintech Future: University of Cape Town
  • #talkmentalillness: University of Colorado Boulder
  • Database Management Systems: Clemson University
  • Microsoft Data Architecture for Modern Data Stacks: Microsoft

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