• For Individuals
  • For Businesses
  • For Universities
  • For Governments
Degrees
​
Log In
Join for Free
  • Browse
  • Verification Techniques

Results for "verification techniques"


  • J

    Johns Hopkins University

    Advanced Neural Network Techniques

    Skills you'll gain: Autoencoders, Recurrent Neural Networks (RNNs), Deep Learning, Artificial Neural Networks, Reinforcement Learning, Generative AI, Generative Adversarial Networks (GANs), Generative Model Architectures, Unsupervised Learning, Responsible AI, Data Ethics, Markov Model

    ★ 4 (7) · Intermediate · Course · 1 - 3 Months

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • L

    LearnQuest

    Advanced AI Techniques for the Supply Chain

    Skills you'll gain: Image Analysis, Model Training, Supervised Learning, Applied Machine Learning, Model Evaluation, Machine Learning Methods, Demand Planning, Artificial Intelligence and Machine Learning (AI/ML), Predictive Modeling, Anomaly Detection, Artificial Intelligence, Convolutional Neural Networks, Model Optimization, Statistical Machine Learning, Supply Chain Management, Machine Learning, Computer Vision, Machine Learning Algorithms, Supply Chain, Natural Language Processing

    ★ 3.2 (15) · Intermediate · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • U

    University of Colorado Boulder

    Verification and Synthesis of Autonomous Systems

    Skills you'll gain: Verification And Validation, Computational Logic, Theoretical Computer Science, Systems Analysis, System Requirements, Algorithms, Functional Specification

    ★ 3.8 (11) · Intermediate · Course · 1 - 3 Months

    Status: Free Trial
    Free Trial
    Category: Build toward a degree
    Build toward a degree
  • 2

    28DIGITAL

    Automated Reasoning: satisfiability

    Skills you'll gain: Computational Logic, Deductive Reasoning, Combinatorics, Logical Reasoning, Mathematical Modeling, Operations Research, Theoretical Computer Science, Mathematical Software, Applied Mathematics, Algorithms, Linear Algebra, Model Optimization, Verification And Validation, Arithmetic

    ★ 4.8 (45) · Intermediate · Course · 1 - 4 Weeks

    Category: Credit offered
    Credit offered
  • U

    University of London

    Applied Mathematical Methods for Computing

    Skills you'll gain: Combinatorics, Probability & Statistics, Data Analysis, Advanced Mathematics, Linear Algebra, Mathematics and Mathematical Modeling, Mathematical Theory & Analysis, Geometry, Applied Mathematics, Statistics, Statistical Analysis, Statistical Methods, Probability, Algorithms, Algebra, Descriptive Statistics

    Beginner · Course · 1 - 4 Weeks

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • C

    Coursera

    Electrical Design Engineer - Circuit Analysis

    Skills you'll gain: Electronic Systems, Basic Electrical Systems, Electrical Engineering, Hardware Design, Electronic Hardware, Electronics Engineering, Electronics, Electronic Components, Network Analysis, Simulation and Simulation Software, Engineering Analysis, Engineering Calculations, Analysis, Simulations, High Voltage, Grant Applications

    Intermediate · Course · 1 - 4 Weeks

    Category: New
    New
    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • B

    Ball State University

    Statistical Methods for Data Science

    Skills you'll gain: Statistical Methods, Probability & Statistics, Probability, Statistical Modeling, Statistical Programming, Statistical Analysis, Probability Distribution, Statistical Inference, Bayesian Statistics, Data Science, Sampling (Statistics), Statistical Hypothesis Testing, R Programming, Dimensionality Reduction, R (Software), Simulations, Statistical Visualization

    Intermediate · Course · 1 - 3 Months

    Category: Preview
    Preview
    Category: Build toward a degree
    Build toward a degree
  • S

    Starweaver

    Threat Hunting Techniques

    Skills you'll gain: Cyber Threat Hunting, Splunk, Threat Detection, Jupyter, Anomaly Detection, Threat Management, Cybersecurity, Data Analysis, Data Science, Data Wrangling, Applied Machine Learning, Security Information and Event Management (SIEM), Data Cleansing, Data Transformation, Data Preprocessing, MLOps (Machine Learning Operations), Unsupervised Learning, Automation

    Intermediate · Course · 1 - 3 Months

    Category: New
    New
    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • P

    Packt

    Sales Strategies and Techniques

    Skills you'll gain: Selling Techniques, Sales Strategy, Sales, Overcoming Objections, Closing (Sales), Sales Process, Customer Engagement, General Sales Practices, Solution Selling, Consultative Approaches, Customer Analysis, Data-Driven Decision-Making, Customer Relationship Building, Value Propositions, Competitive Analysis, Price Negotiation, Rapport Building

    ★ 4.8 (13) · Intermediate · Course · 1 - 4 Weeks

    Category: Credit offered
    Credit offered
  • B

    Board Infinity

    Essential Testing Techniques in Software Development

    Skills you'll gain: Software Testing, Test Case, Software Development Life Cycle, Software Quality Assurance, White-Box Testing

    ★ 4.6 (26) · Beginner · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • J

    Johns Hopkins University

    Neuroscience Methods

    Skills you'll gain: Research Design, Science and Research, Laboratory Research, Research Methodologies, Sensory Systems Analysis, Statistical Analysis, Psychological Evaluations, Data Analysis, Data Collection, Neurology, Psychology, Physiology, Image Analysis, Medical Imaging, Statistical Hypothesis Testing, Statistical Inference

    ★ 4.6 (8) · Intermediate · Course · 1 - 3 Months

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • J

    Johns Hopkins University

    Applied Machine Learning: Techniques and Applications

    Skills you'll gain: Computer Vision, Model Evaluation, Supervised Learning, Image Analysis, Data Preprocessing, Applied Machine Learning, Machine Learning Methods, Feature Engineering, Machine Learning Algorithms, Data Processing, Model Training, Model Optimization, Machine Learning, Data Cleansing, Scikit Learn (Machine Learning Library), Machine Learning Software, Data Integration, Data Transformation, Classification Algorithms, Dimensionality Reduction

    ★ 3.7 (12) · Intermediate · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
1…567…506

In summary, here are 10 of our most popular verification techniques courses

  • Advanced Neural Network Techniques: Johns Hopkins University
  • Advanced AI Techniques for the Supply Chain: LearnQuest
  • Verification and Synthesis of Autonomous Systems: University of Colorado Boulder
  • Automated Reasoning: satisfiability: 28DIGITAL
  • Applied Mathematical Methods for Computing: University of London
  • Electrical Design Engineer - Circuit Analysis: Coursera
  • Statistical Methods for Data Science: Ball State University
  • Threat Hunting Techniques: Starweaver
  • Sales Strategies and Techniques: Packt
  • Essential Testing Techniques in Software Development: Board Infinity

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