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

    University of Colorado Boulder

    Introduction to Modeling for Formal Verification

    Skills you'll gain: Systems Design, Computational Logic, Verification And Validation, Computer Engineering, Communication Systems, Software Systems, Process Modeling, Theoretical Computer Science, Graph Theory

    4.7
    Rating, 4.7 out of 5 stars
    ·
    11 reviews

    Beginner · Course · 1 - 4 Weeks

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

    Build toward a degree

    3.8
    Rating, 3.8 out of 5 stars
    ·
    11 reviews

    Intermediate · Course · 1 - 3 Months

  • 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
    Rating, 4.8 out of 5 stars
    ·
    45 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Temporal Logic Model Checking

    Skills you'll gain: Computational Logic, Verification And Validation, Theoretical Computer Science, Systems Design, Functional Specification, Process Modeling, Communication Systems, Test Tools, Algorithms, Safety and Security

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Fundamentals of Model Checking

    Skills you'll gain: Computational Logic, Systems Design, Verification And Validation, Computer Engineering, Communication Systems, Systems Analysis, Software Systems, Process Modeling, Theoretical Computer Science, Computational Thinking, Functional Specification, Software Architecture, Model Optimization, Software Design, Graph Theory, Software Testing, Software Quality Assurance, Computer Architecture, Test Tools, Logical Reasoning

    4.7
    Rating, 4.7 out of 5 stars
    ·
    11 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Foundations of Autonomous Systems

    Skills you'll gain: Computational Logic, Model Based Systems Engineering, Mathematical Modeling, System Requirements, Functional Requirement, Theoretical Computer Science, Functional Specification, Verification And Validation, Systems Architecture, Automation Engineering, Control Systems, Network Model, Requirements Analysis, Mechanical Engineering, Mechanics, Applied Mathematics, Automation, Systems Analysis, Differential Equations, Algorithms

    Build toward a degree

    3.6
    Rating, 3.6 out of 5 stars
    ·
    36 reviews

    Intermediate · Specialization · 3 - 6 Months

What brings you to Coursera today?

  • Status: Free Trial
    Free Trial
    D

    Duke University

    Introduction to Logic and Critical Thinking

    Skills you'll gain: Deductive Reasoning, Critical Thinking, Logical Reasoning, Computational Logic, Analysis, Probability, Diagram Design, Sampling (Statistics), Persuasive Communication, Verification And Validation, Probability & Statistics, Statistical Inference, Correlation Analysis, Communication, Decision Intelligence, Appeals, Business Communication

    4.6
    Rating, 4.6 out of 5 stars
    ·
    3.7K reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Minnesota

    Software Testing and Automation

    Skills you'll gain: Open Web Application Security Project (OWASP), Cucumber (Software), Software Testing, Selenium (Software), Gherkin (Scripting Language), JUnit, Verification And Validation, Test Automation, Unit Testing, Security Testing, Regression Testing, Test Case, Software Development Tools, Testability, White-Box Testing, Behavior-Driven Development, Code Coverage, Performance Testing, Development Testing, Test Engineering

    4.2
    Rating, 4.2 out of 5 stars
    ·
    1K reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    V

    Vanderbilt University

    AI Agent Developer

    Skills you'll gain: Prompt Engineering, Prompt Patterns, ChatGPT, Retrieval-Augmented Generation, Generative AI Agents, AI Orchestration, AI powered creativity, Agentic Workflows, OpenAI API, LLM Application, Ideation, Verification And Validation, Generative AI, AI Workflows, AI literacy, OpenAI, Expense Management, Multimodal Prompts, AI Personalization, Software Development

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

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Hardware Description Languages for FPGA Design

    Skills you'll gain: Field-Programmable Gate Array (FPGA), Hardware Design, System Design and Implementation, Application Specific Integrated Circuits, Test Case, Test Script Development, Verification And Validation, Electronic Hardware, Computational Logic, Electrical and Computer Engineering, Electronics, Test Tools, Development Testing, Simulation and Simulation Software, Programming Principles, Simulations, Functional Testing, Debugging, Computer Programming

    4.4
    Rating, 4.4 out of 5 stars
    ·
    627 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    V

    Vanderbilt University

    Generative AI Software Engineering

    Skills you'll gain: Claude Code, Prompt Engineering, ChatGPT, Retrieval-Augmented Generation, Generative AI Agents, Prompt Patterns, Anthropic Claude, Agentic Workflows, Token Optimization, Multimodal Prompts, Generative AI, AI Personalization, Artificial Intelligence and Machine Learning (AI/ML), Software Engineering, Software Development Tools, Software Development, Automation, Software Architecture, Software Testing, Software Design

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

    Beginner · Specialization · 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    B

    Board Infinity

    Java Spring Boot Backend Development

    Skills you'll gain: Restful API, Object Oriented Programming (OOP), Object Oriented Design, Java Programming, Spring Framework, Java, Spring Boot, API Design, Application Programming Interface (API), Hibernate (Java), Data Validation, Development Testing, Verification And Validation, Authentications, Model View Controller, Back-End Web Development, Computer Programming, Code Reusability, Object-Relational Mapping, Server Side

    Intermediate · Specialization · 1 - 3 Months

1234…92

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

  • Introduction to Modeling for Formal Verification: University of Colorado Boulder
  • Verification and Synthesis of Autonomous Systems: University of Colorado Boulder
  • Automated Reasoning: satisfiability: 28DIGITAL
  • Temporal Logic Model Checking : University of Colorado Boulder
  • Fundamentals of Model Checking: University of Colorado Boulder
  • Foundations of Autonomous Systems: University of Colorado Boulder
  • Introduction to Logic and Critical Thinking: Duke University
  • Software Testing and Automation: University of Minnesota
  • AI Agent Developer: Vanderbilt University
  • Hardware Description Languages for FPGA Design: University of Colorado Boulder

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