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

    University of Maryland, College Park

    Agile Innovation and Problem Solving Skills

    Skills you'll gain: Brainstorming, User Story, Creative Thinking, Innovation, Design Thinking, Critical Thinking and Problem Solving, Solution Design, Agile Methodology, Problem Solving, Agile Product Development, Empathy, Requirements Analysis, Complex Problem Solving, Risk Management, Lean Methodologies, Process Improvement

    4.5
    Rating, 4.5 out of 5 stars
    ·
    21 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    P

    Packt

    JavaScript from Beginner to Expert 2.0

    Skills you'll gain: JavaScript Frameworks, Event-Driven Programming, Javascript, Frontend Performance, Web Components, Object Oriented Programming (OOP), Web Development, Web Design and Development, Scripting, UI Components, Development Environment, Data Validation, Real Time Data, Browser Compatibility, Programming Principles, Data Storage, HTML and CSS, Maintainability, Debugging

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    I

    Illinois Tech

    Programming and Application Foundations

    Skills you'll gain: Web Development, Database Design, Relational Databases, Web Development Tools, Databases, Full-Stack Web Development, Application Deployment, HTML and CSS, Cloud Deployment, Back-End Web Development, Application Development, Front-End Web Development, JavaScript Frameworks, Application Servers, Web Servers, Scripting, Javascript, Network Protocols, Cloud Computing

    Build toward a degree

    4.5
    Rating, 4.5 out of 5 stars
    ·
    51 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Getting Started with Google Workspace 日本語版

    Skills you'll gain: Google Docs, Google Sheets, Gmail, Google Workspace, Calendar Management, Presentations, Setting Appointments, Spreadsheet Software, Data Validation, Excel Formulas, Excel Macros, Data Visualization, Email Automation, Email Security, Meeting Facilitation, Collaborative Software, Scheduling, Version Control, Data Management, Productivity Software

    Beginner · Specialization · 3 - 6 Months

  • C

    Coursera

    Interpretable Machine Learning Applications: Part 4

    Skills you'll gain: Applied Machine Learning, Data Preprocessing, Data Analysis, Data Import/Export, Google Cloud Platform, Model Evaluation, Decision Tree Learning, Exploratory Data Analysis, Machine Learning, Classification Algorithms, Random Forest Algorithm, Statistical Visualization, Responsible AI

    4.8
    Rating, 4.8 out of 5 stars
    ·
    21 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Free
    Free
    C

    Coursera

    Program Management Benefit Transition Sustainment in ClickUp

    Skills you'll gain: Program Management, Project Management Life Cycle, Diagram Design, Project Closure, Agile Methodology, Benefits Administration, Innovation, Change Management, Stakeholder Communications

    4.7
    Rating, 4.7 out of 5 stars
    ·
    22 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    P

    Packt

    R Ultimate 2024 - R for Data Science and Machine Learning

    Skills you'll gain: Rmarkdown, Autoencoders, Shiny (R Package), Deep Learning, Recurrent Neural Networks (RNNs), Transfer Learning, Model Evaluation, R (Software), Data Import/Export, Classification Algorithms, Reinforcement Learning, R Programming, Ggplot2, Data Manipulation, Convolutional Neural Networks, Plotly, Applied Machine Learning, Machine Learning Algorithms, Artificial Intelligence, Dimensionality Reduction

    Beginner · Specialization · 3 - 6 Months

  • C

    Coursera

    Customer Service with Python: Build a Chatbot using ChatGPT

    Skills you'll gain: ChatGPT, OpenAI API, LLM Application, Prompt Engineering, Customer Service, Customer Support, Application Programming Interface (API), User Flows, Test Case, Python Programming, Development Environment, Debugging

    4.2
    Rating, 4.2 out of 5 stars
    ·
    27 reviews

    Intermediate · Guided Project · Less Than 2 Hours

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

    Edureka

    Analytics Engineering Workflows with dbt

    Skills you'll gain: Data Quality, SQL, YAML, Data Pipelines, Data Validation, Data Mart, CI/CD, Data Modeling, Data Transformation, Version Control, Git (Version Control System), Technical Documentation, Maintainability, Scalability

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    The Business, Politics, Policy, & Players of Space Programs

    Skills you'll gain: Global Positioning Systems, Political Sciences, Entrepreneurship, International Relations, Governance, Higher Education, Public Policies, Policy Analysis, Business, New Business Development, Budgeting, Innovation

    4.3
    Rating, 4.3 out of 5 stars
    ·
    10 reviews

    Beginner · Course · 1 - 3 Months

  • C

    Coursera

    Snowflake for Data Science: Intro to Snowpark ML for Python

    Skills you'll gain: Model Deployment, Data Preprocessing, Applied Machine Learning, Machine Learning Methods, Machine Learning, Predictive Modeling, Feature Engineering, Data Pipelines, Data Transformation, Data Science, Python Programming, Regression Analysis

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    L

    LearnKartS

    Salesforce Platform App Builder Certification Prep

    Skills you'll gain: Salesforce Development, Salesforce, Application Deployment, Workflow Management, Operational Efficiency, Dashboard, Data Access, Application Design, Application Development, No-Code Development, User Accounts, UI Components, Cloud Applications, Business Objects Framework, Data Security, Data Sharing, Business Process Automation, Customer Relationship Management (CRM) Software, Business Logic, User Interface (UI)

    4.6
    Rating, 4.6 out of 5 stars
    ·
    14 reviews

    Beginner · Specialization · 1 - 3 Months

1…220221222…389

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

  • Agile Innovation and Problem Solving Skills: University of Maryland, College Park
  • JavaScript from Beginner to Expert 2.0: Packt
  • Programming and Application Foundations: Illinois Tech
  • Getting Started with Google Workspace 日本語版: Google Cloud
  • Interpretable Machine Learning Applications: Part 4: Coursera
  • Program Management Benefit Transition Sustainment in ClickUp: Coursera
  • R Ultimate 2024 - R for Data Science and Machine Learning: Packt
  • Customer Service with Python: Build a Chatbot using ChatGPT: Coursera
  • Analytics Engineering Workflows with dbt: Edureka
  • The Business, Politics, Policy, & Players of Space Programs: University of Colorado Boulder

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