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

    SAS

    Building a Large-Scale, Automated Forecasting System

    Skills you'll gain: SAS (Software), Forecasting, Time Series Analysis and Forecasting, Statistical Methods, Predictive Modeling, Data Preprocessing, Automation, Anomaly Detection, Data Transformation, Model Evaluation

    Intermediate · Course · 1 - 3 Months

  • C

    Coursera

    GenAI Chatbots: Create and Deploy OpenAI-Powered Chatbots

    Skills you'll gain: Retrieval-Augmented Generation, OpenAI API, LLM Application, Prompt Engineering, Model Deployment, Back-End Web Development, Restful API, Application Programming Interface (API), Web Development, User Interface (UI)

    4.2
    Rating, 4.2 out of 5 stars
    ·
    13 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    U

    University of Colorado System

    Linear Kalman Filter Deep Dive (and Target Tracking)

    Skills you'll gain: Estimation, Advanced Mathematics, Mathematical Modeling, Matlab, Linear Algebra, Statistical Methods, Predictive Analytics, Predictive Modeling, Applied Mathematics, Time Series Analysis and Forecasting, Probability, Statistical Inference, Probability & Statistics

    5
    Rating, 5 out of 5 stars
    ·
    6 reviews

    Intermediate · Course · 1 - 4 Weeks

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

    EDUCBA

    AI-900 MS Azure AI Fundamentals

    Skills you'll gain: Responsible AI, Microsoft Azure, Artificial Intelligence, Data Ethics, Image Analysis, Natural Language Processing, Computer Vision, Applied Machine Learning, AI Workflows, No-Code Development, Model Deployment, Text Mining, Machine Learning, Model Evaluation

    4.4
    Rating, 4.4 out of 5 stars
    ·
    34 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    A

    Adobe

    AI Foundations for Creativity

    Skills you'll gain: Adobe Firefly, Responsible AI, Data Ethics, Generative AI, AI Enablement, Creativity, Prompt Engineering, Ideation, Brainstorming, Artificial Intelligence, Innovation, Creative Design, Design Thinking, Multimedia, Storytelling, Visual Design, Content Strategy

    4.9
    Rating, 4.9 out of 5 stars
    ·
    15 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    S

    Splunk Inc.

    Splunk Knowledge Manager 102

    Skills you'll gain: Data Modeling, Splunk, Pivot Tables And Charts, Data Management, Database Management, Query Languages, Data Integration, Performance Tuning, Data Science, Data Analysis, Big Data, Business Intelligence, Business Analytics, Geospatial Information and Technology, Statistics

    4.8
    Rating, 4.8 out of 5 stars
    ·
    19 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Forming, Funding, and Launching a Technology Startup Company

    Skills you'll gain: Entrepreneurial Finance, Business Planning, Financial Statements, Growth Strategies, Business Ethics, Intellectual Property, Financial Modeling, Entrepreneurship, Income Statement, Engineering Management, Legal Risk, Business Strategies, Technology Strategies, Organizational Development, Business Modeling, Cash Flows, Business Development, New Business Development, Risk Analysis, Engineering

    Build toward a degree

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    E

    EDUCBA

    Spring Boot REST API: Real-World Java Projects

    Skills you'll gain: Restful API, API Design, API Testing, Spring Boot, Authentications, Test Automation, JSON, Application Programming Interface (API), Test Script Development, Application Deployment, Spring Framework, Object-Relational Mapping, Test Case, Software Quality Assurance, Back-End Web Development, Integration Testing, Software Engineering, Data Modeling, Java Programming, Java

    4.9
    Rating, 4.9 out of 5 stars
    ·
    60 reviews

    Beginner · Specialization · 1 - 3 Months

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

    Coursera

    Foundations of Open Generative AI Engineering

    Skills you'll gain: Generative Model Architectures, Large Language Modeling, Generative AI, Open Source Technology, Image Analysis, Model Evaluation, Model Deployment, Scalability, Data Security

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    B

    Board Infinity

    Building React Application using ASP.NET MVC5

    Skills you'll gain: Restful API, ASP.NET, .NET Framework, JavaScript Frameworks, Frontend Integration, Secure Coding, Middleware, React.js, Application Frameworks, Object-Relational Mapping, Model View Controller, Web Applications, Web Development, Authentications

    4
    Rating, 4 out of 5 stars
    ·
    6 reviews

    Intermediate · Course · 1 - 4 Weeks

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

    EDUCBA

    Apply AI Foundations with Python and AWS

    Skills you'll gain: Matplotlib, Artificial Intelligence, Artificial Intelligence and Machine Learning (AI/ML), NumPy, Pandas (Python Package), Model Evaluation, AI Workflows, Data Preprocessing, Deep Learning, Responsible AI, AWS SageMaker, Regression Analysis, Scikit Learn (Machine Learning Library), Machine Learning, Data Manipulation, Data Ethics, Applied Machine Learning, Data-Driven Decision-Making, Python Programming, AWS CloudFormation

    Beginner · Specialization · 3 - 6 Months

1…238239240…390

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

  • Building a Large-Scale, Automated Forecasting System: SAS
  • GenAI Chatbots: Create and Deploy OpenAI-Powered Chatbots: Coursera
  • Linear Kalman Filter Deep Dive (and Target Tracking): University of Colorado System
  • Program Management Benefit Transition Sustainment in ClickUp: Coursera
  • AI-900 MS Azure AI Fundamentals: EDUCBA
  • AI Foundations for Creativity: Adobe
  • Splunk Knowledge Manager 102: Splunk Inc.
  • Forming, Funding, and Launching a Technology Startup Company: University of Colorado Boulder
  • Spring Boot REST API: Real-World Java Projects: EDUCBA
  • Foundations of Open Generative AI Engineering: 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