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

Results for "verification techniques"


  • U

    University of Minnesota

    Additional Process Techniques in Microfabrication

    Skills you'll gain: Laboratory Equipment, Quality Assurance, Semiconductors, Manufacturing Processes, Materials science, Test Equipment, Electronics Engineering, Process Engineering, Process Control, Analytical Testing, Product Testing, Chemistry, Mechanical Engineering, Process Flow Diagrams, Physical Science

    Intermediate · Course · 1 - 4 Weeks

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

    Fractal Analytics

    Advanced Data Techniques for Enterprise AI Systems

    Skills you'll gain: AI Security, Vector Databases, Data Strategy, Data Management, Data Architecture, Data Security, Data Governance, Generative AI Agents, Metadata Management, Containerization, Data Ethics, Interoperability, Data Store, Retrieval-Augmented Generation, Taxonomy, Data Storage, Data Processing, Large Language Modeling, Machine Learning, Agentic systems

    Intermediate · Course · 1 - 3 Months

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

    DeepLearning.AI

    PyTorch: Techniques and Ecosystem Tools

    Skills you'll gain: Hugging Face, Model Optimization, Fine-tuning, Transfer Learning, Model Training, Embeddings, Data Preprocessing

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

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

    University of Minnesota

    Introduction to Automated Analysis

    Skills you'll gain: Test Automation, Regression Testing, Software Testing, Software Development Tools, Software Engineering Tools, Test Script Development, Test Tools, Computer Programming Tools, White-Box Testing, Code Coverage, Security Testing, Verification And Validation, Test Case, Test Data, Automation, Functional Requirement, Application Security, Vulnerability Scanning

    ★ 4.2 (86) · Intermediate · Course · 1 - 4 Weeks

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

    Packt

    Intermediate Ethical Hacking Techniques

    Skills you'll gain: Metasploit, Open Web Application Security Project (OWASP), Penetration Testing, Exploit development, Vulnerability Scanning, Exploitation techniques, Security Testing, Vulnerability Assessments, Hardening, Brute-force attacks, Web Applications, Cybersecurity, Firewall, Network Security, Wireless Networks, Network Analysis, SQL

    ★ 3.8 (9) · Intermediate · Course · 1 - 4 Weeks

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

    University of Colorado Boulder

    Equivalences, Abstraction, and Partial Order Reduction

    Skills you'll gain: Verification And Validation, Computational Thinking, Systems Design, Systems Analysis, Model Optimization, Software Design, Computer Architecture, Software Quality (SQA/SQC), Logical Reasoning

    Beginner · Course · 1 - 4 Weeks

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

    28DIGITAL

    System Validation (4): Modelling Software, Protocols, and other behaviour

    Skills you'll gain: Systems Analysis, Communication Systems, Verification And Validation, Computational Logic, Systems Design, Process Modeling, Data Modeling, Software Design, Theoretical Computer Science, Network Protocols

    ★ 4.6 (13) · Advanced · Course · 1 - 4 Weeks

    Category: Credit offered
    Credit offered
  • 2

    28DIGITAL

    System Validation (3): Requirements by modal formulas

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

    ★ 4.5 (13) · Advanced · Course · 1 - 4 Weeks

    Category: Credit offered
    Credit offered
  • P

    Packt

    Advanced 3D Techniques and Sculpting for Games

    Skills you'll gain: 3D Modeling, 3D Assets, Computer Graphics, Visualization (Computer Graphics), Computer Graphic Techniques, Animation and Game Design, Animations, Graphical Tools, Image Quality, Post-Production

    Advanced · Course · 1 - 3 Months

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

    Packt

    Linux Security Techniques

    Skills you'll gain: Linux Servers, Linux Commands, Network Administration, Cryptography, User Accounts, Key Management, Brute-force attacks

    Intermediate · Course · 1 - 3 Months

    Category: Credit offered
    Credit offered
  • 2

    28DIGITAL

    Quantitative Model Checking

    Skills you'll gain: Computational Logic, Markov Model, Verification And Validation, Theoretical Computer Science, Mathematical Modeling, Systems Analysis, Process Modeling, Probability, Algorithms, Probability Distribution, Logical Reasoning

    ★ 4.3 (54) · Intermediate · Course · 1 - 3 Months

    Category: Credit offered
    Credit offered
  • P

    Packt

    Comprehensive Cisco Security Techniques and Automation

    Skills you'll gain: Endpoint Security, Endpoint Detection and Response, Multi-Factor Authentication, Data Loss Prevention, Network Security, Patch Management, System Configuration, Network Monitoring, Data Security, Authentications, Malware Protection, Mobile Security, Authorization (Computing), Identity and Access Management, Enterprise Application Management

    Intermediate · Course · 1 - 4 Weeks

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

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

  • Additional Process Techniques in Microfabrication: University of Minnesota
  • Advanced Data Techniques for Enterprise AI Systems: Fractal Analytics
  • PyTorch: Techniques and Ecosystem Tools: DeepLearning.AI
  • Introduction to Automated Analysis: University of Minnesota
  • Intermediate Ethical Hacking Techniques: Packt
  • Equivalences, Abstraction, and Partial Order Reduction: University of Colorado Boulder
  • System Validation (4): Modelling Software, Protocols, and other behaviour: 28DIGITAL
  • System Validation (3): Requirements by modal formulas: 28DIGITAL
  • Advanced 3D Techniques and Sculpting for Games: Packt
  • Linux Security Techniques: Packt

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