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

Results for "formal verification"


  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Managing Data Analysis

    Skills you'll gain: Exploratory Data Analysis, Data Analysis, Data Presentation, Data Management, Management Training And Development, Team Management, Workflow Management, Analytical Skills, Team Leadership, Statistical Inference, Statistical Modeling, Statistical Methods, Communication

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

    Mixed · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    E

    EDUCBA

    Overview of Automotive SPICE

    Skills you'll gain: Process Driven Development, Software Quality Assurance, Process Management, Software Development, Verification And Validation, Software Engineering, Software Development Life Cycle, Quality Assurance, Systems Engineering, Systems Development Life Cycle, Configuration Management, Requirements Analysis, Risk Management Framework, Quality Control

    4.5
    Rating, 4.5 out of 5 stars
    ·
    68 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    I

    ISC2

    Access Control Concepts

    Skills you'll gain: Security Controls, Role-Based Access Control (RBAC), Authorization (Computing), Cyber Security Policies, Identity and Access Management, Data Access, Security Awareness, Authentications

    4.8
    Rating, 4.8 out of 5 stars
    ·
    159 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    S

    Salesforce

    Groundwork for Success in Sales Development

    Skills you'll gain: Time Management, Productivity, Growth Mindedness, Sales Development, Professional Development, Goal Setting, Prioritization, Professionalism, Collaboration, Personal Development, Teamwork, Sales, Performance Metric, Constructive Feedback, Self-Awareness, Stress Management, Accountability

    4.4
    Rating, 4.4 out of 5 stars
    ·
    462 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    Università di Napoli Federico II

    Understanding Political Concepts

    Skills you'll gain: Political Sciences, Policy Analysis, Critical Thinking, Research, Social Sciences, Systems Thinking, Governance, Sociology, Interactive Learning, Research Methodologies

    4.9
    Rating, 4.9 out of 5 stars
    ·
    30 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    I

    IBM

    Generative AI: Elevate your Software Development Career

    Skills you'll gain: Prompt Engineering, Large Language Modeling, Responsible AI, Generative AI, Artificial Intelligence, Software Development Tools, Software Testing, Test Automation, Software Development, DevSecOps, Application Security, CI/CD, Natural Language Processing, Software Engineering, Software Architecture

    4.6
    Rating, 4.6 out of 5 stars
    ·
    227 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    E

    Erasmus University Rotterdam

    Excel Modeling for Professionals: Best Practices & Pitfalls

    Skills you'll gain: Microsoft Excel, Excel Formulas, Verification And Validation, Financial Modeling, Project Documentation, Business Modeling, Spreadsheet Software, Product Testing, Data Validation, Document Management, Data Integrity, Data Management, Organizational Skills

    4.5
    Rating, 4.5 out of 5 stars
    ·
    36 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    S

    Starweaver

    Management Skills for New Managers

    Skills you'll gain: Team Motivation, Delegation Skills, Performance Management, Employee Performance Management, Management Training And Development, Emotional Intelligence, People Management, Team Building, Cultural Sensitivity, Leadership Development, Leadership, Communication Strategies, Collaboration, Cross-Functional Collaboration

    4.7
    Rating, 4.7 out of 5 stars
    ·
    103 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    M

    Microsoft

    Microsoft Azure Security Engineer Associate (AZ-500)

    Skills you'll gain: Azure Active Directory, Data Security, Multi-Factor Authentication, Microsoft Azure, Role-Based Access Control (RBAC), Cloud Security, Active Directory, Threat Modeling, Security Strategy, Data Storage, Application Security, Database Architecture and Administration, Virtual Machines, Infrastructure Security, Kubernetes, Continuous Monitoring, Web Applications, Cyber Governance, System Monitoring, Network Security

    4.5
    Rating, 4.5 out of 5 stars
    ·
    137 reviews

    Intermediate · Professional Certificate · 3 - 6 Months

  • Status: Preview
    Preview
    C

    Coursera

    Introduction to OSHA: Safety Standards and Compliance

    Skills you'll gain: Occupational Safety and Health Administration (OSHA), Occupational Safety And Health, Safety Training, Health And Safety Standards, Safety Standards, Safety Culture, Compliance Management, Regulatory Compliance, Workers Compensation

    4.8
    Rating, 4.8 out of 5 stars
    ·
    261 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Advanced Embedded Linux Development

    Skills you'll gain: Agile Methodology, Scrum (Software Development), System Programming, Embedded Software, Software Testing, Embedded Systems, Linux, Agile Software Development, Docker (Software), Git (Version Control System), Linux Commands, Linux Administration, Operating Systems, Shell Script, C++ (Programming Language), Debugging, File Systems, Internet Of Things, OS Process Management, Peripheral Devices

    4.3
    Rating, 4.3 out of 5 stars
    ·
    160 reviews

    Intermediate · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    I

    ISC2

    Security Operations

    Skills you'll gain: Configuration Management, Cybersecurity, Computer Security Awareness Training, Data Security, Security Controls, Security Management, Event Monitoring, Encryption, Network Security, Continuous Monitoring, Cyber Security Policies, Security Strategy, System Monitoring, General Networking, Cryptography, Data Management

    4.7
    Rating, 4.7 out of 5 stars
    ·
    184 reviews

    Beginner · Course · 1 - 3 Months

Searches related to formal verification

introduction to modeling for formal verification
1…181920…62

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

  • Managing Data Analysis: Johns Hopkins University
  • Overview of Automotive SPICE: EDUCBA
  • Access Control Concepts: ISC2
  • Groundwork for Success in Sales Development: Salesforce
  • Understanding Political Concepts: Università di Napoli Federico II
  • Generative AI: Elevate your Software Development Career: IBM
  • Excel Modeling for Professionals: Best Practices & Pitfalls: Erasmus University Rotterdam
  • Management Skills for New Managers: Starweaver
  • Microsoft Azure Security Engineer Associate (AZ-500): Microsoft
  • Introduction to OSHA: Safety Standards and Compliance: Coursera

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