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

    Microsoft

    Capstone and Practice Exam (AZ-500)

    Skills you'll gain: Multi-Factor Authentication, Data Security, Security Strategy, Azure Active Directory, Database Architecture and Administration, Virtual Machines, Microsoft Azure, Cloud Security, Security Controls, Identity and Access Management, System Configuration, Role-Based Access Control (RBAC), Encryption, Security Engineering, Firewall

    4.5
    Rating, 4.5 out of 5 stars
    ·
    16 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    S

    Scrimba

    Frontend Developer Skills and Best Practices

    Skills you'll gain: Unit Testing, Test Case, Application Deployment, Responsive Web Design, Test Driven Development (TDD), Continuous Deployment, Debugging, Maintainability, LinkedIn, Cascading Style Sheets (CSS), Front-End Web Development, Software Testing, Code Review, Development Testing, Interviewing Skills, Web Development Tools, HTML and CSS, Web Development, Application Development, Software Documentation

    4.5
    Rating, 4.5 out of 5 stars
    ·
    18 reviews

    Intermediate · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    H

    H2O.ai

    H2O ai Large Language Models (LLMs) - Level 2

    Skills you'll gain: Large Language Modeling, Data Management, Data Validation, Data Cleansing, Natural Language Processing, MLOps (Machine Learning Operations), Data Transformation, Verification And Validation, Data Quality, Performance Tuning

    Intermediate · Course · 1 - 4 Weeks

  • G

    Google Cloud

    Hardening Default GKE Cluster Configurations

    Skills you'll gain: Kubernetes, Threat Modeling, Hardening, Security Testing, Verification And Validation, Google Cloud Platform, Security Controls, Vulnerability Assessments, Cloud Computing

    Advanced · Project · Less Than 2 Hours

  • C

    Coursera

    Test Driven Development in Java for Beginners

    Skills you'll gain: Unit Testing, Test Driven Development (TDD), Test Case, Program Development, Development Testing, Software Testing, Java Programming, Java, Software Engineering

    4.3
    Rating, 4.3 out of 5 stars
    ·
    15 reviews

    Beginner · Guided Project · Less Than 2 Hours

  • Status: Free
    Free
    A

    Amazon Web Services

    Migrating VMware Workloads to AWS

    Skills you'll gain: VMware ESX Servers, Data Migration, Amazon Web Services, Virtual Machines, Cloud Infrastructure, Amazon Elastic Compute Cloud, Hybrid Cloud Computing, Cloud Management, AWS Identity and Access Management (IAM), Public Cloud, Cloud Computing Architecture, Application Performance Management, Verification And Validation, Application Deployment, System Implementation, Performance Tuning, Network Infrastructure

    4.4
    Rating, 4.4 out of 5 stars
    ·
    8 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    L

    LearnQuest

    DevOps and Build Automation with Python

    Skills you'll gain: Containerization, Package and Software Management, Software Testing, Docker (Software), Unit Testing, Scripting, Development Testing, CI/CD, Test Automation, Integration Testing, DevOps, Python Programming, Web Scraping

    3.9
    Rating, 3.9 out of 5 stars
    ·
    60 reviews

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Test your Angular web application using Jasmine and Karma

    Skills you'll gain: Angular, Unit Testing, Software Testing, UI Components, Web Applications, User Interface (UI), TypeScript, Hypertext Markup Language (HTML)

    4.3
    Rating, 4.3 out of 5 stars
    ·
    44 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    The Piano Sonata: Beethoven and the Romantics

    Skills you'll gain: Music Theory, Classical Music, Music History, Musical Composition, Instrumental Music, Music

    4.9
    Rating, 4.9 out of 5 stars
    ·
    9 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    B

    Board Infinity

    Agile Development Excellence: Scrum, User Story, CI Insight

    Skills you'll gain: Continuous Integration, Sprint Planning, Kaizen Methodology, Process Improvement, Backlogs, Agile Product Development, Unit Testing, DevSecOps, Scalability, Performance Metric, Integration Testing, Software Development, Software Testing, Organizational Change, Project Management, User Story, Git (Version Control System), Key Performance Indicators (KPIs), Business Reporting, Application Security

    2.8
    Rating, 2.8 out of 5 stars
    ·
    10 reviews

    Beginner · Specialization · 1 - 3 Months

  • C

    Coursera

    Create a Cover Letter with an Envelope using Microsoft Word

    Skills you'll gain: Microsoft Office, Document Management

    4.5
    Rating, 4.5 out of 5 stars
    ·
    11 reviews

    Beginner · Guided Project · Less Than 2 Hours

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

    Board Infinity

    Ansible Automation: From Fundamentals to Enterprise

    Skills you'll gain: Ansible, IT Automation, YAML, Enterprise Architecture, DevSecOps, Scalability, CI/CD, Automation, Red Hat Enterprise Linux, Debugging, Scripting, Infrastructure as Code (IaC), Configuration Management, Hardening, Enterprise Security, Devops Tools, Development Environment, Verification And Validation, Patch Management, DevOps

    Beginner · Specialization · 1 - 3 Months

Searches related to formal verification

introduction to modeling for formal verification
1…343536…62

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

  • Capstone and Practice Exam (AZ-500): Microsoft
  • Frontend Developer Skills and Best Practices: Scrimba
  • H2O ai Large Language Models (LLMs) - Level 2: H2O.ai
  • Hardening Default GKE Cluster Configurations: Google Cloud
  • Test Driven Development in Java for Beginners : Coursera
  • Migrating VMware Workloads to AWS: Amazon Web Services
  • DevOps and Build Automation with Python: LearnQuest
  • Test your Angular web application using Jasmine and Karma: Coursera
  • The Piano Sonata: Beethoven and the Romantics: University of Michigan
  • Agile Development Excellence: Scrum, User Story, CI Insight: Board Infinity

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