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

Results for "formal verification"


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

    Vanderbilt University

    Claude Code: Software Engineering with Generative AI Agents

    Skills you'll gain: Prompt Engineering, Anthropic Claude, Multimodal Prompts, Version Control, Generative AI Agents, Git (Version Control System), Generative AI, Software Quality Assurance, Software Development, Mockups, Test Automation, Software Documentation, Artificial Intelligence, Software Development Life Cycle, Software Architecture, Automation, Software Testing, Software Design, Software Development Methodologies

    4.9
    Rating, 4.9 out of 5 stars
    ·
    67 reviews

    Beginner · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Building Smarter Software: GenAI Tools and Practices

    Skills you'll gain: Test Planning, Test Tools, Prompt Engineering, Version Control, Debugging, Google Gemini, Software Design Patterns, Object Oriented Design, Responsible AI, Software Testing, Object Oriented Programming (OOP), GitLab, ChatGPT, Application Programming Interface (API), Mobile Development, Front-End Web Development, Back-End Web Development, Application Development, GitHub, Artificial Intelligence and Machine Learning (AI/ML)

    4.6
    Rating, 4.6 out of 5 stars
    ·
    109 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    E

    EIT Digital

    Capstone: Autonomous Runway Detection for IoT

    Skills you'll gain: Real-Time Operating Systems, Embedded Systems, Internet Of Things, Software Engineering, System Testing, Software Development, Interoperability, Verification And Validation, Integration Testing, Cloud-Based Integration, Systems Integration, Performance Tuning, IT Security Architecture, System Implementation, Computer Vision, Innovation, Algorithms

    4.6
    Rating, 4.6 out of 5 stars
    ·
    68 reviews

    Advanced · Course · 1 - 4 Weeks

  • U

    University of Maryland, College Park

    Usable Security

    Skills you'll gain: Usability, Human Computer Interaction, Authentications, Security Engineering, Usability Testing, Interaction Design, Threat Modeling, Human Factors, Information Privacy, Cybersecurity, Personally Identifiable Information, User Interface (UI) Design, User Acceptance Testing (UAT), Multi-Factor Authentication, User Centered Design, Design

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

    Mixed · Course · 1 - 3 Months

  • C

    Coursera

    Start Your API Testing Journey With Postman Tool

    Skills you'll gain: Postman API Platform, JSON, Application Programming Interface (API), Software Testing, Restful API, Scripting, Test Case, Functional Testing

    4.4
    Rating, 4.4 out of 5 stars
    ·
    309 reviews

    Beginner · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    M

    Meta

    Advanced Programming in Kotlin

    Skills you'll gain: Kotlin, Android Development, Android Studio, Unit Testing, Object Oriented Programming (OOP), Mobile Development, Test Driven Development (TDD), Software Testing, Functional Design

    4.6
    Rating, 4.6 out of 5 stars
    ·
    125 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    M

    Microsoft

    Cybersecurity Identity and Access Solutions using Azure AD

    Skills you'll gain: Azure Active Directory, Authentications, Identity and Access Management, Authorization (Computing), Active Directory, Role-Based Access Control (RBAC), Multi-Factor Authentication, Microsoft Azure, Single Sign-On (SSO), Software As A Service, User Accounts, Cloud Services, Enterprise Security

    4.5
    Rating, 4.5 out of 5 stars
    ·
    184 reviews

    Beginner · Course · 1 - 4 Weeks

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

    Radio y Televisión Española

    Competencias y habilidades esenciales en el entorno digital

    Skills you'll gain: Social Media Content, Social Media Strategy, Live Streaming, Photo/Video Production and Technology, Social Media Management, Content Strategy, Web Content, Media and Communications, Content Creation, Journalism, Mobile Development Tools, Research, Digital Communications, Investigation, Social Network Analysis, Trend Analysis, Verification And Validation, Facebook, Data Validation, Open Source Technology

    4.9
    Rating, 4.9 out of 5 stars
    ·
    77 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    T

    The University of Edinburgh

    How to Read a Novel

    Skills you'll gain: Writing

    4.6
    Rating, 4.6 out of 5 stars
    ·
    19 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    I

    Infosec

    Cybersecurity Policy Foundations

    Skills you'll gain: Cyber Security Policies, Cyber Security Assessment, Risk Management Framework, Security Management, Cyber Risk, Cybersecurity, Threat Management, Cyber Governance, Security Awareness

    4.6
    Rating, 4.6 out of 5 stars
    ·
    114 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    S

    Siemens

    Introduction to Digital Transformation

    Skills you'll gain: Digital Transformation, Product Lifecycle Management, Business Technologies, Automation, Internet Of Things, Product Development, Technology Strategies, Product Design, Emerging Technologies, Wireless Networks, Augmented and Virtual Reality (AR/VR), Cloud Computing, Artificial Intelligence

    4.6
    Rating, 4.6 out of 5 stars
    ·
    106 reviews

    Beginner · Course · 1 - 3 Months

Searches related to formal verification

introduction to modeling for formal verification
1…222324…62

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

  • Claude Code: Software Engineering with Generative AI Agents: Vanderbilt University
  • Building Smarter Software: GenAI Tools and Practices: Coursera
  • Capstone: Autonomous Runway Detection for IoT: EIT Digital
  • Usable Security: University of Maryland, College Park
  • Start Your API Testing Journey With Postman Tool: Coursera
  • Advanced Programming in Kotlin: Meta
  • Cybersecurity Identity and Access Solutions using Azure AD: Microsoft
  • Cyber Attack Countermeasures: New York University
  • Competencias y habilidades esenciales en el entorno digital: Radio y Televisión Española
  • How to Read a Novel: The University of Edinburgh

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