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

    Coursera

    Leading Teams Effectively: Skills for Impactful Leadership

    Skills you'll gain: Team Leadership, Team Building, Team Motivation, Leadership Development, Team Management, Team Performance Management, Initiative and Leadership, Leadership, Organizational Leadership, Leadership and Management, Professional Development, Teamwork, Personal Development, People Development, Business Leadership, Willingness To Learn, Self-Awareness, Empathy, Conflict Management, Communication

    Beginner · Course · 1 - 4 Weeks

  • P

    Packt

    JUnit and Mockito Unit Testing for Java Developers

    Skills you'll gain: JUnit, Unit Testing, IntelliJ IDEA, Apache Maven, Software Testing, Test Case, Java Programming, Integration Testing, Software Architecture

    4.8
    Rating, 4.8 out of 5 stars
    ·
    8 reviews

    Intermediate · Course · 1 - 3 Months

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

    University of Colorado System

    Systems Engineering Fundamentals Part 2

    Skills you'll gain: Systems Engineering, Verification And Validation, Systems Architecture, Configuration Management, Systems Development, Systems Development Life Cycle, Systems Design, Reliability, Risk Management, Risk Management Framework, Systems Integration, Functional Design, Requirements Analysis, Maintainability

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    W

    Whizlabs

    Azure: Identity and Access Management

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

    3.8
    Rating, 3.8 out of 5 stars
    ·
    9 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    E

    EDUCBA

    Testing and Debugging in .NET Core Applications

    Skills you'll gain: Test Driven Development (TDD), Debugging, Software Testing, Performance Testing, Unit Testing, Test Automation, Regression Testing, Testability, Integration Testing, .NET Framework, Application Performance Management, C# (Programming Language)

    4.7
    Rating, 4.7 out of 5 stars
    ·
    26 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    E

    EDUCBA

    Angular Fundamentals: Building Responsive Web Apps with Ease

    Skills you'll gain: Angular, Bootstrap (Front-End Framework), JavaScript Frameworks, Authentications, Web Applications, Authorization (Computing), Javascript and jQuery, Security Controls, Web Design and Development, Role-Based Access Control (RBAC), HTML and CSS, TypeScript, Web Development Tools, Responsive Web Design, UI Components, User Interface (UI), Model View Controller, Data Validation, Software Testing, Dependency Analysis

    4.6
    Rating, 4.6 out of 5 stars
    ·
    27 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    G

    Google Cloud

    Responsible AI: Applying AI Principles with GC - Yкраїнська

    Skills you'll gain: Responsible AI, Data Ethics, Artificial Intelligence, Google Cloud Platform, Business Ethics, AI Product Strategy, Ethical Standards And Conduct, Machine Learning, Verification And Validation, Decision Making

    Beginner · Course · 1 - 3 Months

  • C

    Coursera

    Create a workspace for a team project on Slack

    Skills you'll gain: Slack (Software), Document Management, Collaborative Software, Team Management, Project Management, Organizational Skills, Productivity Software, File Management, Business Communication, Communication

    Beginner · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    N

    NIIT

    Building Interactive User Interfaces Using React Library

    Skills you'll gain: React.js, Jest (JavaScript Testing Framework), JavaScript Frameworks, Front-End Web Development, Unit Testing, UI Components, Event-Driven Programming, Javascript, User Interface (UI), Software Testing, Application Programming Interface (API)

    Intermediate · Course · 1 - 3 Months

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

    Birla Institute of Technology & Science, Pilani

    Discrete Mathematics for Computer Science and Engineering

    Skills you'll gain: Theoretical Computer Science, Programming Principles, Cryptography, Algorithms, Applied Mathematics, Probability & Statistics, Data Management

    Beginner · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    E

    EDUCBA

    Migrating .NET-based web applications to Azure PAAS

    Skills you'll gain: Microsoft Azure, Platform As A Service (PaaS), .NET Framework, ASP.NET, Cloud Applications, Cloud Development, Cloud Hosting, Microsoft SQL Servers, Data Migration, Performance Tuning, Transact-SQL, Application Deployment, Application Performance Management, Model View Controller, Verification And Validation

    4.9
    Rating, 4.9 out of 5 stars
    ·
    12 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    P

    Packt

    Advanced Automation Frameworks and Continuous Integration

    Skills you'll gain: GitHub, Jenkins, Git (Version Control System), Version Control, Selenium (Software), CI/CD, Test Automation, Test Data, Unit Testing, Test Case, Software Testing, Regression Testing, Scenario Testing, Test Execution Engine, Python Programming, Automation, Debugging

    Advanced · Course · 1 - 3 Months

Searches related to formal verification

introduction to modeling for formal verification
1…444546…62

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

  • Leading Teams Effectively: Skills for Impactful Leadership: Coursera
  • JUnit and Mockito Unit Testing for Java Developers: Packt
  • Systems Engineering Fundamentals Part 2: University of Colorado System
  • Azure: Identity and Access Management: Whizlabs
  • Testing and Debugging in .NET Core Applications: EDUCBA
  • Angular Fundamentals: Building Responsive Web Apps with Ease: EDUCBA
  • Responsible AI: Applying AI Principles with GC - Yкраїнська: Google Cloud
  • Create a workspace for a team project on Slack: Coursera
  • Building Interactive User Interfaces Using React Library: NIIT
  • Discrete Mathematics for Computer Science and Engineering: Birla Institute of Technology & Science, Pilani

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