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

Results for "model checking"


  • E

    EDUCBA

    Analyze Predictor Impact Using Regression in Minitab

    Skills you'll gain: Data Analysis, Predictive Analytics, Case Studies, Statistical Visualization, Statistical Modeling

    Beginner · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Implement RPA Bots for Social Media Monitoring

    Skills you'll gain: Robotic Process Automation, Social Media Management, Social Media, Business Process Automation, Microsoft Excel, Brand Awareness, Automation, Market Analysis, Solution Design, Marketing Automation, Secure Coding, Process Design, Image Analysis, Driving engagement, Data Import/Export, UI Components, Web Scraping, Process Flow Diagrams, Project Documentation, Data Validation

    Beginner · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Analyze Financial Fraud Using Machine Learning Analytics

    Skills you'll gain: Financial Data, Data-Driven Decision-Making, Profit and Loss (P&L) Management, Risk Modeling, Lending and Underwriting, Applied Machine Learning, Financial Systems, Operational Analysis, Risk Analysis, Anomaly Detection, Statistical Machine Learning, Financial Regulation, Financial Industry Regulatory Authorities

    Beginner · Course · 1 - 4 Weeks

  • M

    Meta

    Django Web Framework

    Skills you'll gain: Django (Web Framework), Web Development, Web Servers, Web Applications, Data Modeling, Back-End Web Development, MySQL, Application Security, Database Development, Model View Controller, Object-Relational Mapping, Application Frameworks, Database Management, Hypertext Markup Language (HTML)

    4.7
    Rating, 4.7 out of 5 stars
    ·
    668 reviews

    Beginner · Course · 1 - 3 Months

  • Y

    Yale University

    The Global Financial Crisis

    Skills you'll gain: Crisis Management, Financial Policy, Mortgage Loans, Financial Regulation, Financial Systems, Public Policies, Credit Risk, Risk Management Framework, Financial Market, Consumer Lending, International Finance, Banking, Financial Analysis, Economics

    4.8
    Rating, 4.8 out of 5 stars
    ·
    2.3K reviews

    Mixed · Course · 3 - 6 Months

  • W

    Whizlabs

    Fundamentals of Deep Learning

    Skills you'll gain: Deep Learning, Convolutional Neural Networks, Image Analysis, Transfer Learning, Artificial Neural Networks, Model Evaluation, Computer Vision, Artificial Intelligence and Machine Learning (AI/ML), Machine Learning Methods

    Intermediate · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Build AngularJS Mobile Apps with Practical Case Studies

    Skills you'll gain: Angular, Mobile Development, Service Design, Front-End Web Development, UI Components, Data Validation, Application Development, Application Frameworks, Service Oriented Architecture, JavaScript Frameworks, Business Logic

    Beginner · Course · 1 - 4 Weeks

  • S

    SkillUp

    Data Science for Healthcare

    Skills you'll gain: Forecasting, Classification Algorithms, Dimensionality Reduction

    Intermediate · Specialization · 1 - 3 Months

  • C

    Coursera

    Extract, Map, and Analyze Clinical Data

    Skills you'll gain: Epic EMR, Health Informatics, Data Mapping, Clinical Informatics, Clinical Data Management, Data Dictionary, Electronic Data Capture (EDC), Health Information Management, Data Analysis, Patient-centered Care, Electronic Medical Record, Extract, Transform, Load, Data Transformation, Data Integrity, Data Quality, Data Validation, Data Collection, Data Access

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Optimize Your Wellness with AI Features

    Skills you'll gain: Prompt Engineering, AI Personalization, Supervised Learning, Health And Wellness Coaching, Predictive Analytics, Responsible AI, Model Evaluation, Artificial Intelligence, Data Quality, Automation, Critical Thinking

    Beginner · Course · 1 - 4 Weeks

  • E

    EDHEC Business School

    Investment Management with Python and Machine Learning

    Skills you'll gain: Investment Management, Portfolio Management, Text Mining, Portfolio Risk, Asset Management, Network Analysis, Data Visualization Software, Investments, Machine Learning Methods, Return On Investment, Unstructured Data, Predictive Modeling, Web Scraping, Machine Learning, Social Network Analysis, Financial Statements, Applied Machine Learning, Financial Market, Financial Modeling, Risk Management

    4.6
    Rating, 4.6 out of 5 stars
    ·
    1.8K reviews

    Beginner · Specialization · 3 - 6 Months

  • C

    Coursera

    Deploying Open Models

    Skills you'll gain: Model Deployment, Docker (Software), Containerization, Cloud Deployment, MLOps (Machine Learning Operations), Hugging Face, Generative AI, Cloud Computing Architecture, Serverless Computing, Cloud Hosting, Cloud Technologies, AWS SageMaker, System Monitoring, Release Management, Application Security, Infrastructure Security, Continuous Monitoring, Version Control

    Intermediate · Course · 1 - 4 Weeks

Searches related to model checking

temporal logic model checking
1…474849…374

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

  • Analyze Predictor Impact Using Regression in Minitab: EDUCBA
  • Implement RPA Bots for Social Media Monitoring: EDUCBA
  • Analyze Financial Fraud Using Machine Learning Analytics: EDUCBA
  • Django Web Framework : Meta
  • The Global Financial Crisis: Yale University
  • Fundamentals of Deep Learning: Whizlabs
  • Build AngularJS Mobile Apps with Practical Case Studies: EDUCBA
  • Data Science for Healthcare: SkillUp
  • Extract, Map, and Analyze Clinical Data: Coursera
  • Optimize Your Wellness with AI Features: 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