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

Results for "formal verification"


  • Status: Preview
    Preview
    C

    Coursera

    Introduction to Selenium

    Skills you'll gain: Selenium (Software), Test Automation, Debugging, Scripting, Automation, Web Scraping, Software Testing, Web Development Tools, Test Case, Browser Compatibility, Test Data

    4.6
    Rating, 4.6 out of 5 stars
    ·
    26 reviews

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    API Testing a real web application via Postman

    Skills you'll gain: Postman API Platform, OAuth, Application Programming Interface (API), Performance Testing, Security Testing, Software Testing, Restful API, Authentications, Web Development Tools, Application Security

    4.4
    Rating, 4.4 out of 5 stars
    ·
    69 reviews

    Beginner · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    C

    Codio

    Software Engineering Tools and Practices

    Skills you'll gain: Jest (JavaScript Testing Framework), Model View Controller, CI/CD, User Acceptance Testing (UAT), Continuous Integration, Cucumber (Software), Postman API Platform, Ansible, Software Testing, OAuth, Web Development Tools, Behavior-Driven Development, Restful API, Application Performance Management, Prometheus (Software), Authentications, Package and Software Management, Cloud API, Javascript, Software Engineering

    4
    Rating, 4 out of 5 stars
    ·
    55 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    B

    Board Infinity

    Introduction to .NET Core

    Skills you'll gain: ASP.NET, .NET Framework, Model View Controller, Web Applications, Middleware, Debugging, Application Deployment, Application Development, Development Environment, Software Testing, Microsoft Development Tools, Cross Platform Development, Software Architecture, Network Routing, Open Source Technology, Command-Line Interface

    4
    Rating, 4 out of 5 stars
    ·
    78 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University at Buffalo

    The Factors that Influence the Effectiveness of Boards and the Governance Process

    Skills you'll gain: Governance, Meeting Facilitation, Leadership and Management, Organizational Effectiveness, Leadership, Case Studies, Organizational Structure, Culture Transformation, People Development, Discussion Facilitation, Performance Improvement, Succession Planning, Business Ethics, Culture, Diversity and Inclusion, Recruitment Strategies

    4.6
    Rating, 4.6 out of 5 stars
    ·
    66 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Introduction to AI for Cybersecurity

    Skills you'll gain: Cybersecurity, Cyber Threat Intelligence, Fraud detection, Email Security, Threat Detection, Jupyter, Authentications, Intrusion Detection and Prevention, Machine Learning Algorithms, Artificial Intelligence, Multi-Factor Authentication, Anomaly Detection, Natural Language Processing, Machine Learning, Deep Learning, Supervised Learning

    4.1
    Rating, 4.1 out of 5 stars
    ·
    74 reviews

    Intermediate · Course · 1 - 4 Weeks

  • A

    Amazon Web Services

    Automation in the AWS Cloud

    Skills you'll gain: Infrastructure as Code (IaC), AWS CloudFormation, IT Automation, Scripting, Bash (Scripting Language), Amazon Web Services, Command-Line Interface, Configuration Management, Amazon Elastic Compute Cloud, Automation, Continuous Monitoring, Infrastructure As A Service (IaaS), Cloud Management, Continuous Integration, Patch Management, Software Testing

    4.6
    Rating, 4.6 out of 5 stars
    ·
    79 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    W

    Whizlabs

    Manage Identities and Governance in Azure

    Skills you'll gain: Azure Active Directory, Role-Based Access Control (RBAC), Microsoft Azure, Single Sign-On (SSO), Active Directory, Cloud Management, Identity and Access Management, Authorization (Computing), Authentications, Multi-Factor Authentication, User Provisioning, Data Governance, Cloud Services, User Accounts, Security Controls, Virtual Machines, Self Service Technologies, Scalability

    4.2
    Rating, 4.2 out of 5 stars
    ·
    79 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of Michigan

    مقدمة عن لغة HTML5

    Skills you'll gain: Hypertext Markup Language (HTML), Web Content Accessibility Guidelines, Web Design, Web Design and Development, Cascading Style Sheets (CSS), Semantic Web, Usability, Javascript, Responsive Web Design, Verification And Validation

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    A

    Amazon

    Data Structures and Algorithms

    Skills you'll gain: JUnit, Test Driven Development (TDD), Version Control, Git (Version Control System), GitHub, Performance Tuning, Unit Testing, Data Structures, Java Programming, Development Testing, Algorithms, Program Development, Software Testing, Java, Computer Programming, Software Development, Programming Principles, Debugging, Scalability

    4.3
    Rating, 4.3 out of 5 stars
    ·
    51 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    V

    Vanderbilt University

    Scalable Microservices for Developers

    Skills you'll gain: Microservices, Spring Boot, Spring Framework, IntelliJ IDEA, Java Programming, Restful API, Object Oriented Programming (OOP), Java, Application Deployment, Software Architecture, API Design, Integrated Development Environments, Scalability, Service Oriented Architecture, Web Applications, Software Testing, Unit Testing, Object-Relational Mapping, Distributed Computing, Application Security

    4.3
    Rating, 4.3 out of 5 stars
    ·
    62 reviews

    Intermediate · Specialization · 1 - 3 Months

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

    University of Colorado System

    Agile Systems Engineering

    Skills you'll gain: Systems Engineering, Verification And Validation, Team Management, Systems Architecture, Requirements Analysis, Requirements Elicitation, Scrum (Software Development), Systems Development Life Cycle, Teamwork, Configuration Management, Team Building, Agile Methodology, Scaled Agile Framework, Systems Development, Team Motivation, Organizational Leadership, Engineering Management, Risk Management, Waterfall Methodology, Leadership and Management

    4.9
    Rating, 4.9 out of 5 stars
    ·
    7 reviews

    Intermediate · Specialization · 3 - 6 Months

Searches related to formal verification

introduction to modeling for formal verification
1…323334…62

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

  • Introduction to Selenium: Coursera
  • API Testing a real web application via Postman: Coursera
  • Software Engineering Tools and Practices: Codio
  • Introduction to .NET Core: Board Infinity
  • The Factors that Influence the Effectiveness of Boards and the Governance Process: University at Buffalo
  • Introduction to AI for Cybersecurity: Johns Hopkins University
  • Automation in the AWS Cloud: Amazon Web Services
  • Manage Identities and Governance in Azure: Whizlabs
  • مقدمة عن لغة HTML5: University of Michigan
  • Data Structures and Algorithms: Amazon

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