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

Results for "model checking"


  • C

    Coursera

    Building and Optimizing AI Agent Workflows

    Skills you'll gain: Feature Engineering, Agentic Workflows, Data Ethics, Responsible AI, Model Deployment, Agentic systems, Artificial Intelligence, Generative AI, MLOps (Machine Learning Operations), Data Transformation, Model Evaluation, Reinforcement Learning, Software Architecture, Business Ethics, API Design, Process Optimization, System Design and Implementation, Performance Tuning, Algorithms, Python Programming

    Intermediate · Course · 1 - 3 Months

  • E

    EDUCBA

    Apply Advanced Editing Techniques in Photoshop

    Skills you'll gain: Image Quality, Computer Graphic Techniques, 3D Modeling, Layout Design, AI Personalization

    Beginner · Course · 1 - 3 Months

  • U

    University of Illinois Urbana-Champaign

    Innovation: From Creativity to Entrepreneurship

    Skills you'll gain: Entrepreneurship, Strategic Decision-Making, Innovation, Creativity, Team Management, Creative Problem-Solving, Ideation, Technology Strategies, Creative Thinking, Business Modeling, Strategic Thinking, Value Propositions, Collaboration, Business Planning, Strategic Planning, New Product Development, Cognitive flexibility, Entrepreneurial Finance, Open Mindset, Leadership

    Build toward a degree

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

    Beginner · Specialization · 3 - 6 Months

  • C

    Coursera

    Analyze Budgets and Capital Structures Confidently

    Skills you'll gain: Variance Analysis, Financial Analysis, Budget Management, Strategic Decision-Making, Financial Modeling, Budgeting, Financial Statement Analysis, Financial Forecasting, Corporate Finance, Cost Management, Capital Budgeting, Risk Modeling, Spreadsheet Software, Microsoft Excel, Business Analytics, Data Analysis, Case Studies, Data-Driven Decision-Making, Risk Management

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Grow Trees & Powerful Ensembles

    Skills you'll gain: Classification And Regression Tree (CART), Model Deployment, Decision Tree Learning, Predictive Modeling, Model Evaluation, Feature Engineering, Machine Learning Methods, Random Forest Algorithm, Applied Machine Learning, Performance Tuning, Statistical Machine Learning, Scikit Learn (Machine Learning Library), Performance Analysis

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Statistical Inference & Predictive Modeling Foundations

    Skills you'll gain: Descriptive Statistics, A/B Testing, Classification And Regression Tree (CART), Dashboard, Model Evaluation, Model Deployment, Data-Driven Decision-Making, Risk Analysis, Histogram, Statistical Inference, Strategic Decision-Making, Data Presentation, Predictive Modeling, Statistical Hypothesis Testing, Risk Mitigation, Regression Analysis, Data Visualization, MLOps (Machine Learning Operations), Decision Tree Learning, Keras (Neural Network Library)

    Intermediate · Specialization · 3 - 6 Months

  • C

    Coursera

    Crunch Vectors with GeoPandas

    Skills you'll gain: Spatial Data Analysis, Spatial Analysis, Geographic Information Systems, Geospatial Mapping, Data Validation, Geospatial Information and Technology, Geostatistics, Data Wrangling, Geometric Dimensioning And Tolerancing

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Procurement, Negotiation, and Contract Execution

    Skills you'll gain: Purchasing, Request For Quotation (RFQ), Procurement, Data Entry, Negotiation, Contract Negotiation, Order Processing, Vendor Contracts, Strategic Sourcing, Supply Management, Contract Management, Contract Review, Business Communication, Accounts Payable, Contract Compliance, Business Process Management, Billing & Invoicing, Cost Accounting, Data Validation

    Intermediate · Course · 1 - 3 Months

  • C

    Coursera

    Automate, Optimize, and Benchmark Data Pipelines

    Skills you'll gain: Performance Analysis, Performance Testing, Performance Measurement, Benchmarking, Data Modeling, Data Processing, Extract, Transform, Load, Data-Driven Decision-Making, Statistical Analysis

    Advanced · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Design and Build a Student Score Card System with SQL Server

    Skills you'll gain: Database Design, Relational Databases, Database Application, Microsoft SQL Servers, Data Integrity, Databases, Database Management, Data Modeling, Visual Basic (Programming Language), Application Development, User Interface (UI)

    Beginner · Course · 1 - 4 Weeks

  • W

    Whizlabs

    Fundamentals of AWS AI and ML Solutions

    Skills you'll gain: Model Deployment, AWS SageMaker, MLOps (Machine Learning Operations), Image Analysis, Natural Language Processing, Artificial Intelligence and Machine Learning (AI/ML), Amazon Web Services, Deep Learning, AI Personalization, Model Evaluation, Applied Machine Learning, Computer Vision, Machine Learning, Feature Engineering, Text Mining, Data Wrangling

    Beginner · Course · 1 - 4 Weeks

  • M

    Meta

    Meta Marketing Science Certification Prep

    Skills you'll gain: Marketing Analytics, Bayesian Statistics, Descriptive Statistics, Marketing Effectiveness, Statistical Hypothesis Testing, A/B Testing, Target Audience, Marketing Strategies, Statistical Inference, Sampling (Statistics), Data Collection, Data Modeling, Statistics, Advertising Campaigns, Campaign Management, Data Presentation, Marketing, Analytics, Performance marketing, Web Analytics

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

    Intermediate · Specialization · 3 - 6 Months

1…394041…374

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

  • Building and Optimizing AI Agent Workflows: Coursera
  • Apply Advanced Editing Techniques in Photoshop: EDUCBA
  • Innovation: From Creativity to Entrepreneurship: University of Illinois Urbana-Champaign
  • Analyze Budgets and Capital Structures Confidently: Coursera
  • Grow Trees & Powerful Ensembles: Coursera
  • Statistical Inference & Predictive Modeling Foundations: Coursera
  • Crunch Vectors with GeoPandas: Coursera
  • Procurement, Negotiation, and Contract Execution: Coursera
  • Automate, Optimize, and Benchmark Data Pipelines: Coursera
  • Design and Build a Student Score Card System with SQL Server: EDUCBA

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