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

    Web and Mobile Testing with Selenium

    Skills you'll gain: Open Web Application Security Project (OWASP), Selenium (Software), Software Testing, Security Testing, Test Automation, Performance Testing, Functional Testing, Test Tools, Test Execution Engine, Test Planning, Application Security, Mobile Development, Browser Compatibility, Application Performance Management

    3.7
    Rating, 3.7 out of 5 stars
    ·
    104 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    Universidad Austral

    Desarrollo del lado servidor: NodeJS, Express y MongoDB

    Skills you'll gain: Server Side, Node.JS, Back-End Web Development, Restful API, Web Development, MongoDB, Application Deployment, OAuth, Web Servers, Web Applications, Authentications, Application Security, Object-Relational Mapping, NoSQL, Authorization (Computing), Software Testing

    4.1
    Rating, 4.1 out of 5 stars
    ·
    111 reviews

    Beginner · Course · 1 - 4 Weeks

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

    Microsoft

    Identity Protection and Governance 

    Skills you'll gain: Role-Based Access Control (RBAC), Azure Active Directory, Microsoft Azure, Cyber Governance, System Monitoring, Identity and Access Management, Cloud Security, Enterprise Security, Data Security, Authorization (Computing), Multi-Factor Authentication, Security Management, User Accounts, Authentications

    4.6
    Rating, 4.6 out of 5 stars
    ·
    22 reviews

    Intermediate · 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

  • P

    Packt

    Mastering REST APIs with FastAPI

    Skills you'll gain: Restful API, API Design, Application Deployment, Application Programming Interface (API), Authentications, User Accounts, Email Automation, Debugging, Back-End Web Development, Software Testing, Development Testing, Software Development, Database Development, Continuous Integration

    4.6
    Rating, 4.6 out of 5 stars
    ·
    17 reviews

    Intermediate · Course · 1 - 3 Months

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

    University at Buffalo

    블록체인의 기초

    Skills you'll gain: Blockchain, Cryptography, Payment Systems, Distributed Computing, FinTech, Network Model, Transaction Processing, Emerging Technologies, Virtual Machines, Verification And Validation

    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
    T

    The Hong Kong University of Science and Technology

    Intimacy of Creativity: Entering the Minds of Composers

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

    4.6
    Rating, 4.6 out of 5 stars
    ·
    78 reviews

    Intermediate · 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
    A

    Arizona State University

    Engaging ELLs and Their Families in the School and Community

    Skills you'll gain: Parent Communication, Student Engagement, Community Outreach, Teaching, Cultural Diversity, Instructional Strategies, Cultural Sensitivity, Case Studies, Diversity Awareness, Collaboration

    4.6
    Rating, 4.6 out of 5 stars
    ·
    66 reviews

    Mixed · Course · 1 - 3 Months

Searches related to formal verification

introduction to modeling for formal verification
1…272829…62

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

  • Web and Mobile Testing with Selenium: University of Minnesota
  • Desarrollo del lado servidor: NodeJS, Express y MongoDB: Universidad Austral
  • Introduction to .NET Core: Board Infinity
  • Identity Protection and Governance : Microsoft
  • The Factors that Influence the Effectiveness of Boards and the Governance Process: University at Buffalo
  • Mastering REST APIs with FastAPI: Packt
  • Automation in the AWS Cloud: Amazon Web Services
  • 블록체인의 기초: University at Buffalo
  • Manage Identities and Governance in Azure: Whizlabs
  • Intimacy of Creativity: Entering the Minds of Composers: The Hong Kong University of Science and Technology

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