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

    Meta

    Working with Data in iOS

    Skills you'll gain: Core Data (Software), Restful API, Apple iOS, JSON, Swift Programming, Application Programming Interface (API), Mobile Development, Application Development, Data Persistence, Data Modeling, Authentications, Network Protocols

    4
    Rating, 4 out of 5 stars
    ·
    52 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    L

    L&T EduTech

    Modelling, Analysis and Design of Steel Buildings

    Skills you'll gain: Structural Engineering, Structural Analysis, Building Design, Architectural Engineering, Computer-Aided Design, Failure Analysis, Engineering Analysis, Construction, Engineering Calculations, Engineering Design Process, Engineering Software

    5
    Rating, 5 out of 5 stars
    ·
    25 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Web Analytics & Reporting

    Skills you'll gain: Google Analytics, Web Analytics, Marketing Effectiveness, Marketing Analytics, Content Performance Analysis, Web Analytics and SEO, Looker (Software), Google Ads, Data Visualization, Data Visualization Software, Marketing Automation, Customer Insights, Campaign Management, Data-Driven Decision-Making, Business Reporting, Performance Reporting, Trend Analysis, Data Validation, Statistical Analysis, Key Performance Indicators (KPIs)

    Intermediate · Specialization · 3 - 6 Months

  • D

    Duke University

    Introduction to FastAPI framework

    Skills you'll gain: Web Frameworks, Restful API, Application Programming Interface (API), API Testing, Application Deployment, Software Documentation, Package and Software Management, JSON, Application Development, Server Side, Python Programming, Data Validation

    2.5
    Rating, 2.5 out of 5 stars
    ·
    31 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • 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, Machine Learning Algorithms, Feature Engineering, Dimensionality Reduction, Machine Learning, Predictive Modeling, Predictive Analytics, Scikit Learn (Machine Learning Library), Classification Algorithms, Forecasting, Decision Tree Learning, Anomaly Detection, Data Manipulation, Regression Analysis, Statistical Modeling

    4.5
    Rating, 4.5 out of 5 stars
    ·
    15 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Diagnosing Health Behaviors for Global Health Programs

    Skills you'll gain: Health Promotion, Behavioral Health, Mental and Behavioral Health, Health Education, Cultural Sensitivity, Public Health, Health Policy, Community Health, Social Sciences, Program Evaluation, Learning Theory

    4.7
    Rating, 4.7 out of 5 stars
    ·
    96 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free
    Free
    C

    Coursera

    Google Data Studio - Création de Tableaux de Bords Interactifs

    Skills you'll gain: Data Visualization, Dashboard, Interactive Data Visualization, Data Presentation, Data Visualization Software, Collaborative Software, Data Sharing, Data Science, Data Analysis, Business Intelligence, Data Integration, Data Modeling, Data Import/Export

    4.4
    Rating, 4.4 out of 5 stars
    ·
    114 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Preview
    Preview
    P

    Pontificia Universidad Católica de Chile

    Manejo de Crisis Epilépticas y Promoción de la Inclusión Social

    Skills you'll gain: Disabilities, Caregiving, Family Support, Diversity Awareness, Mental Health, Chronic Diseases, Care Management, Patient Education and Support, Mental and Behavioral Health Specialties, Preventative Care, School Psychology, Pediatrics, Emergency Response, Treatment Planning, Neurology

    4.9
    Rating, 4.9 out of 5 stars
    ·
    101 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    S

    Simplilearn

    Generative AI Models and Transformer Networks Certification

    Skills you'll gain: Generative Adversarial Networks (GANs), Generative Model Architectures, Retrieval-Augmented Generation, Generative AI, Autoencoders, ChatGPT, OpenAI, Deep Learning, Model Evaluation, Vision Transformer (ViT), Artificial Intelligence and Machine Learning (AI/ML), Tensorflow, Large Language Modeling, Prompt Engineering, PyTorch (Machine Learning Library), Artificial Neural Networks, Image Analysis, Computer Vision, Unsupervised Learning, Natural Language Processing

    3.4
    Rating, 3.4 out of 5 stars
    ·
    13 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: Preview
    Preview
    T

    Talend

    Talend Data Integration Certification Preparation training

    Skills you'll gain: Metadata Management, Data Manipulation, Data Integration, Extract, Transform, Load, Database Management Systems, Data Transformation, Data Access, Context Management, Data Migration, Data Pipelines, Dataflow, Data Validation, Version Control

    4.6
    Rating, 4.6 out of 5 stars
    ·
    68 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    M

    Microsoft

    Data Preparation and Management

    Skills you'll gain: Extract, Transform, Load, Data Cleansing, Power BI, Data Transformation, Data Manipulation, Data Management, Data Quality, Data Preprocessing, Data Validation, Data Integration, Data Modeling, Data Import/Export, Data Storage

    5
    Rating, 5 out of 5 stars
    ·
    22 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Advanced Project Operations & Automation

    Skills you'll gain: Earned Value Management, Workflow Management, Business Process Automation, Change Management, Project Management, Project Controls, Performance Measurement, Automation, Predictive Modeling, AI Enablement, Strategic Communication, Data-Driven Decision-Making, Risk Analysis, Process Improvement and Optimization, Process Optimization, Analytics, Cloud-Based Integration, Generative AI, Systems Integration, Machine Learning

    4
    Rating, 4 out of 5 stars
    ·
    7 reviews

    Advanced · Specialization · 3 - 6 Months

1…203204205…390

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

  • Working with Data in iOS: Meta
  • Modelling, Analysis and Design of Steel Buildings: L&T EduTech
  • Web Analytics & Reporting: Coursera
  • Introduction to FastAPI framework: Duke University
  • Foundations of Machine Learning: Coursera
  • Diagnosing Health Behaviors for Global Health Programs: Johns Hopkins University
  • Google Data Studio - Création de Tableaux de Bords Interactifs: Coursera
  • Manejo de Crisis Epilépticas y Promoción de la Inclusión Social: Pontificia Universidad Católica de Chile
  • Generative AI Models and Transformer Networks Certification: Simplilearn
  • Talend Data Integration Certification Preparation training: Talend

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