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

Results for "model checking"


  • C

    Coursera

    How to Innovate with the Strategy Canvas for Competitiveness

    Skills you'll gain: Business Strategy, Strategic Thinking, Value Propositions, Competitive Analysis, Entrepreneurship, New Business Development, Market Research, Innovation, Strategic Planning, Organizational Strategy, Spreadsheet Software, Leadership

    4.4
    Rating, 4.4 out of 5 stars
    ·
    14 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    S

    Simplilearn

    AI & Deep Learning Concepts and Applications

    Skills you'll gain: Reinforcement Learning, Artificial Intelligence, Tensorflow, Artificial Neural Networks, Deep Learning, Machine Learning, Applied Machine Learning, Data Ethics, Supervised Learning, Responsible AI, Unsupervised Learning, Natural Language Processing, Computer Programming

    4.1
    Rating, 4.1 out of 5 stars
    ·
    10 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of Leeds

    Sustainability in Business: Building a Greener Future

    Skills you'll gain: Sustainable Business, Corporate Sustainability, Sustainable Development, Environmental Social And Corporate Governance (ESG), Corporate Strategy, Business Transformation, Business Modeling, Environmental Resource Management, Case Studies, Climate Change Mitigation, Analysis

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    I

    Illinois Tech

    Open Source Programming - Master's

    Skills you'll gain: Test Driven Development (TDD), Python Programming, Object Oriented Programming (OOP), Scripting Languages, Computer Programming, Unit Testing, File I/O, Web Development, Program Development, Open Source Technology, Data Processing, Database Application, Data Structures, User Interface (UI)

    Build toward a degree

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Resilience Engineering and Leadership in Crisis

    Skills you'll gain: Crisis Management, Systems Thinking, Stakeholder Communications, Disaster Recovery, Leadership, Contingency Planning, Leadership and Management, Threat Management, Climate Change Adaptation, Change Management, Threat Detection, Infrastructure Security, Resilience, Business Continuity, Organizational Change, Engineering Management, Emergency Response, Business Ethics, Communication, Sustainable Development

    Build toward a degree

    5
    Rating, 5 out of 5 stars
    ·
    7 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Machine Learning with TensorFlow on Google Cloud em Português Brasileiro

    Skills you'll gain: Feature Engineering, Model Deployment, Responsible AI, Model Evaluation, Tensorflow, Exploratory Data Analysis, Data Preprocessing, Google Cloud Platform, Keras (Neural Network Library), Data Strategy, MLOps (Machine Learning Operations), Embeddings, Machine Learning, Applied Machine Learning, Dataflow, Data Ethics, Artificial Intelligence and Machine Learning (AI/ML), Deep Learning, Artificial Neural Networks, Data Analysis

    4.7
    Rating, 4.7 out of 5 stars
    ·
    92 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    E

    EDUCBA

    MAYA Architecture - Living Room Interiors

    Skills you'll gain: 3D Modeling, Autodesk Maya, Visualization (Computer Graphics), 3D Assets, Computer Graphics

    4.7
    Rating, 4.7 out of 5 stars
    ·
    14 reviews

    Intermediate · Course · 1 - 4 Weeks

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

    EDUCBA

    Design & Assemble Mechanical Systems in SolidWorks

    Skills you'll gain: SolidWorks (CAD), Assembly Drawing, Computer-Aided Design, 3D Modeling, Engineering Design Process, Mechanical Design, Drafting and Engineering Design, Design Specifications, Functional Design, Mechanical Engineering, Integration Testing, Simulation and Simulation Software, Engineering Drawings, Visualization (Computer Graphics), Technical Design, Equipment Design, Industrial Design, Geometric Dimensioning And Tolerancing, Torque (Physics), Structural Engineering

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Intrusion Detection

    Skills you'll gain: Intrusion Detection and Prevention, Model Evaluation, Incident Response, Threat Detection, Endpoint Detection and Response, Computer Security Incident Management, Cyber Threat Hunting, Distributed Denial-Of-Service (DDoS) Attacks, Cybersecurity, Anomaly Detection, Cyber Security Strategy, Threat Management, Continuous Monitoring, Cyber Security Policies, Security Management, System Monitoring, AI Security, Virtual Machines, Network Analysis, Data Analysis

    4.7
    Rating, 4.7 out of 5 stars
    ·
    7 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    U

    Universidad de Palermo

    Business Intelligence & Analytics

    Skills you'll gain: Business Intelligence, Data Governance, Data Storytelling, Business Analytics, Looker (Software), Performance Measurement, Data Visualization, Key Performance Indicators (KPIs), Business Metrics, Data Modeling, Data Warehousing, General Data Protection Regulation (GDPR), Digital Transformation, Emerging Technologies, Star Schema, Data Mart, Data Quality, Talent Management, Team Building, Data-Driven Decision-Making

    4.2
    Rating, 4.2 out of 5 stars
    ·
    9 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    E

    Edureka

    Machine Learning with PySpark

    Skills you'll gain: PySpark, Applied Machine Learning, Machine Learning, Logistic Regression

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    E

    Edureka

    Power BI for Data Science and Analytics

    Skills you'll gain: Data Analysis Expressions (DAX), Data Storytelling, Analytics, Excel Formulas, Predictive Modeling, Anomaly Detection, Python Programming, Machine Learning

    4.2
    Rating, 4.2 out of 5 stars
    ·
    11 reviews

    Intermediate · Course · 1 - 4 Weeks

1…251252253…391

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

  • How to Innovate with the Strategy Canvas for Competitiveness: Coursera
  • AI & Deep Learning Concepts and Applications: Simplilearn
  • Sustainability in Business: Building a Greener Future: University of Leeds
  • Open Source Programming - Master's: Illinois Tech
  • Resilience Engineering and Leadership in Crisis: University of Colorado Boulder
  • Machine Learning with TensorFlow on Google Cloud em Português Brasileiro: Google Cloud
  • MAYA Architecture - Living Room Interiors: EDUCBA
  • Design & Assemble Mechanical Systems in SolidWorks: EDUCBA
  • Intrusion Detection: Johns Hopkins University
  • Business Intelligence & Analytics: Universidad de Palermo

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