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

Results for "formal verification"


  • Status: Free Trial
    Free Trial
    S

    Salesforce

    Foundations for Interviewing with Confidence

    Skills you'll gain: Verbal Communication Skills, Interviewing Skills, Professional Development, Communication, Telecommuting, Storytelling, Sales Development, Presentations, Professional Networking, Branding, Personal Attributes, LinkedIn, Rapport Building, Non-Verbal Communication, Relationship Building, Adaptability, Empathy

    4.4
    Rating, 4.4 out of 5 stars
    ·
    89 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    L

    L&T EduTech

    Design of Digital Circuits with VHDL Programming

    Skills you'll gain: Field-Programmable Gate Array (FPGA), Electronics Engineering, Hardware Design, Electronic Hardware, Computer Engineering, Verification And Validation, Computational Logic, Simulation and Simulation Software, Design Software, Integrated Development Environments, Schematic Diagrams, Simulations, Dataflow, Development Environment

    4.2
    Rating, 4.2 out of 5 stars
    ·
    19 reviews

    Intermediate · Course · 1 - 4 Weeks

  • P

    Packt

    Embedded Systems Object-Oriented Programming in C and C++

    Skills you'll gain: Embedded Software, Embedded Systems, C++ (Programming Language), Object Oriented Programming (OOP), System Programming, C (Programming Language), Development Environment, Verification And Validation, Software Testing, Peripheral Devices, Debugging

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    N

    New York University

    Cyber Attack Countermeasures

    Skills you'll gain: Authentications, Public Key Infrastructure, Cryptography, Data Encryption Standard, Computer Security, Cybersecurity, Network Security, Security Controls, Encryption, Multi-Factor Authentication

    4.8
    Rating, 4.8 out of 5 stars
    ·
    708 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of Washington

    Designing Autonomous AI

    Skills you'll gain: Organizational Skills, Process Design, Artificial Intelligence, Functional Design, Goal Setting, Verification And Validation, Reinforcement Learning, Functional Specification, Knowledge Transfer, Design Strategies, Software Architecture, Software Design Patterns, Decision Making

    4.8
    Rating, 4.8 out of 5 stars
    ·
    12 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    C

    Campus BBVA

    Cybersecurity for Managers

    Skills you'll gain: Incident Response, Computer Security Incident Management, Cyber Attacks, Cybersecurity, Crisis Management, Security Awareness, Cyber Risk, Email Security, Data Security, Network Security, Business Process, Mobile Security, Information Privacy, Multi-Factor Authentication, Fraud detection

    4.7
    Rating, 4.7 out of 5 stars
    ·
    487 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    I

    Icahn School of Medicine at Mount Sinai

    Voice Disorders: What Patients and Professionals Need to Know

    Skills you'll gain: Speech Language Pathology, Patient Evaluation, Patient Treatment, Physiology, Clinical Assessment, Surgery, Anatomy

    4.9
    Rating, 4.9 out of 5 stars
    ·
    217 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    University of Michigan

    Securing Digital Democracy

    Skills you'll gain: Cyber Security Policies, Security Engineering, Cybersecurity, Security Awareness, Threat Modeling, Policy Analysis, Political Sciences, Vulnerability Assessments, Public Policies, Public Safety and National Security, Human Factors, Human Computer Interaction, Usability, Software Testing

    4.8
    Rating, 4.8 out of 5 stars
    ·
    171 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    I

    Infosec

    Secure Coding in Laravel

    Skills you'll gain: Secure Coding, Distributed Denial-Of-Service (DDoS) Attacks, Application Security, Security Testing, Authorization (Computing), Authentications, Data Validation, Encryption, Security Engineering, Data Security, Vulnerability Scanning, Security Controls, Role-Based Access Control (RBAC), Verification And Validation, Database Application, Security Awareness, Cybersecurity, Continuous Monitoring, Threat Detection, Web Development Tools

    4.5
    Rating, 4.5 out of 5 stars
    ·
    25 reviews

    Beginner · Specialization · 1 - 3 Months

  • C

    Coursera

    Automize Monthly Report Creation with Power Automate

    Skills you'll gain: Microsoft Power Automate/Flow, Email Automation, Verification And Validation, Product Testing, Document Management, Microsoft Excel, Data Import/Export, Staff Management, Microsoft 365, Spreadsheet Software

    4.4
    Rating, 4.4 out of 5 stars
    ·
    28 reviews

    Beginner · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    FPGA Capstone: Building FPGA Projects

    Skills you'll gain: Field-Programmable Gate Array (FPGA), Hardware Design, Electronic Hardware, Program Development, Electronic Systems, System Design and Implementation, Eclipse (Software), Embedded Software, Embedded Systems, Development Environment, Software Development, Integrated Development Environments, Software Development Tools, Engineering Documentation, Build Tools, Laboratory Experience, Laboratory Reports, Laboratory Testing

    4.3
    Rating, 4.3 out of 5 stars
    ·
    24 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Real-Time Embedded Systems Theory and Analysis

    Skills you'll gain: Real-Time Operating Systems, Embedded Systems, Embedded Software, Software Design, Linux, System Programming, System Design and Implementation, Performance Tuning, Verification And Validation, Algorithms, Debugging

    4.2
    Rating, 4.2 out of 5 stars
    ·
    18 reviews

    Advanced · Course · 1 - 4 Weeks

Searches related to formal verification

introduction to modeling for formal verification
1…252627…62

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

  • Foundations for Interviewing with Confidence: Salesforce
  • Design of Digital Circuits with VHDL Programming: L&T EduTech
  • Embedded Systems Object-Oriented Programming in C and C++: Packt
  • Cyber Attack Countermeasures: New York University
  • Designing Autonomous AI: University of Washington
  • Cybersecurity for Managers: Campus BBVA
  • Voice Disorders: What Patients and Professionals Need to Know: Icahn School of Medicine at Mount Sinai
  • Securing Digital Democracy: University of Michigan
  • Secure Coding in Laravel: Infosec
  • Automize Monthly Report Creation with Power Automate: 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

  • Artificial Intelligence (AI)
  • Cybersecurity
  • Data Analytics
  • Digital Marketing
  • English Speaking
  • Generative AI (GenAI)
  • Microsoft Excel
  • Microsoft Power BI
  • Project Management
  • Python

Certificates & Programs

  • Google Cybersecurity Certificate
  • Google Data Analytics Certificate
  • Google IT Support Certificate
  • Google Project Management Certificate
  • Google UX Design Certificate
  • IBM Data Analyst Certificate
  • IBM Data Science Certificate
  • Machine Learning Certificate
  • Microsoft Power BI Data Analyst Certificate
  • UI / UX Design Certificate

Industries & Careers

  • Business
  • Computer Science
  • Data Science
  • Education & Teaching
  • Engineering
  • Finance
  • Healthcare
  • Human Resources (HR)
  • Information Technology (IT)
  • Marketing

Career Resources

  • Career Aptitude Test
  • Examples of Strengths and Weaknesses for Job Interviews
  • High-Income Skills to Learn
  • How Does Cryptocurrency Work?
  • How to Highlight Duplicates in Google Sheets
  • How to Learn Artificial Intelligence
  • Popular Cybersecurity Certifications
  • Preparing for the PMP Certification
  • Signs You Will Get the Job After an Interview
  • What Is Artificial Intelligence?

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
© 2025 Coursera Inc. All rights reserved.
  • Coursera Facebook
  • Coursera Linkedin
  • Coursera Twitter
  • Coursera YouTube
  • Coursera Instagram
  • Coursera TikTok