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

Results for "formal verification"


  • Status: Free Trial
    Free Trial
    D

    DeepLearning.AI

    Team Software Engineering with AI

    Skills you'll gain: Software Documentation, LLM Application, Test Automation, Collaborative Software, Software Testing, Technical Documentation, Large Language Modeling, Dependency Analysis, Software Development Tools, Debugging, Code Review, Maintainability, Software Engineering, Artificial Intelligence

    4.7
    Rating, 4.7 out of 5 stars
    ·
    152 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    V

    Vanderbilt University

    Generative AI Deep Research: Strategic AI Edge for Leaders

    Skills you'll gain: Strategic Decision-Making, Strategic Thinking, Generative AI Agents, Procurement, Generative AI, Competitive Intelligence, Due Diligence, Business Research, Data-Driven Decision-Making, Leadership, Market Intelligence, Cross-Functional Collaboration, Technical Consulting, Talent Acquisition, Technology Strategies, Agentic systems, Business Ethics

    4.7
    Rating, 4.7 out of 5 stars
    ·
    94 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    P

    Packt

    Terraform Masterclass: From Beginner to Advanced

    Skills you'll gain: Infrastructure as Code (IaC), Verification And Validation, User Accounts, CI/CD, Cloud Security, Test Case, Secure Coding, Data Structures, Software Installation

    Beginner · Specialization · 3 - 6 Months

  • 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: Free Trial
    Free Trial
    U

    University of California San Diego

    Meaningful Predictive Modeling

    Skills you'll gain: Predictive Modeling, Data Validation, Verification And Validation, Applied Machine Learning, Regression Analysis, Supervised Learning, Python Programming, Statistical Methods, Machine Learning Methods, Test Data, Natural Language Processing

    4.3
    Rating, 4.3 out of 5 stars
    ·
    48 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    R

    Rice University

    Principles of Computing (Part 1)

    Skills you'll gain: Combinatorics, Probability, Programming Principles, Program Development, Computational Thinking, Computer Programming, Object Oriented Programming (OOP), Development Testing, Software Testing, Applied Mathematics, Debugging, Algorithms, Python Programming, Game Design, Simulations

    4.7
    Rating, 4.7 out of 5 stars
    ·
    584 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    S

    Starweaver

    IIBA® Certification of Capability in Business Analysis™ (CCBA®) Exam Prep

    Skills you'll gain: Stakeholder Communications, Stakeholder Management, Business Analysis, Requirements Management, Stakeholder Engagement, Requirements Analysis, Business Requirements, Change Requests, Solution Delivery, Business Process, Process Analysis, Business Strategies, Project Management, Communication Planning, Stakeholder Analysis, Strategic Planning, Problem Solving, Enterprise Architecture, Root Cause Analysis, Verification And Validation

    Intermediate · Course · 1 - 4 Weeks

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

    Engineering Practices for Building Quality Software

    Skills you'll gain: Software Design Patterns, Software Design, Software Quality Assurance, Software Engineering, Application Security, Object Oriented Design, Software Architecture, Software Quality (SQA/SQC), Development Testing, Threat Modeling, Maintainability, Code Review, Software Testing, Continuous Integration, CI/CD, Software Technical Review, Software Documentation, Version Control

    4.5
    Rating, 4.5 out of 5 stars
    ·
    457 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    M

    Microsoft

    Microsoft SC-900 Exam Preparation and Practice

    Skills you'll gain: Azure Active Directory, Active Directory, Regulatory Compliance, Microsoft Azure, Security Controls, Identity and Access Management, Security Information and Event Management (SIEM), Generative AI, Cloud Security, Data Governance, Authentications, Network Security, Role-Based Access Control (RBAC), Data Security, Scenario Testing, Threat Detection, Multi-Factor Authentication

    4.8
    Rating, 4.8 out of 5 stars
    ·
    148 reviews

    Beginner · Course · 1 - 3 Months

  • I

    Instituto Tecnológico de Aeronáutica

    Desenvolvimento Ágil com Java Avançado

    Skills you'll gain: Model View Controller, Selenium (Software), Web Applications, Java, JUnit, Data Access, Agile Methodology, Software Testing, Application Development, Test Automation, Database Development, Software Design Patterns

    4.7
    Rating, 4.7 out of 5 stars
    ·
    197 reviews

    Intermediate · 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

Searches related to formal verification

introduction to modeling for formal verification
1…212223…62

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

  • Team Software Engineering with AI: DeepLearning.AI
  • Generative AI Deep Research: Strategic AI Edge for Leaders: Vanderbilt University
  • Terraform Masterclass: From Beginner to Advanced: Packt
  • Designing Autonomous AI: University of Washington
  • Meaningful Predictive Modeling: University of California San Diego
  • Principles of Computing (Part 1): Rice University
  • IIBA® Certification of Capability in Business Analysis™ (CCBA®) Exam Prep: Starweaver
  • FPGA Capstone: Building FPGA Projects: University of Colorado Boulder
  • Engineering Practices for Building Quality Software: University of Minnesota
  • Microsoft SC-900 Exam Preparation and Practice: Microsoft

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