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

Results for "formal verification"


  • Status: Preview
    Preview
    P

    Politecnico di Milano

    Trustworthy AI for Healthcare Management

    Skills you'll gain: Responsible AI, Data Ethics, Artificial Intelligence, Healthcare Industry Knowledge, Ethical Standards And Conduct, Health Assessment, Clinical Assessment, Health Informatics, Verification And Validation, Health Technology, Scenario Testing

    4.6
    Rating, 4.6 out of 5 stars
    ·
    66 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    M

    Microsoft

    Cybersecurity Identity and Access Solutions using Azure AD

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

    4.5
    Rating, 4.5 out of 5 stars
    ·
    184 reviews

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Launch an auto-scaling AWS EC2 virtual machine

    Skills you'll gain: Amazon Elastic Compute Cloud, Amazon Web Services, Virtual Machines, Infrastructure As A Service (IaaS), Cloud Infrastructure, Scalability, Verification And Validation

    4.6
    Rating, 4.6 out of 5 stars
    ·
    57 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    T

    Tecnológico de Monterrey

    Liderazgo y comportamiento organizacional

    Skills you'll gain: Influencing, Persuasive Communication, Organizational Leadership, Leadership, Industrial and Organizational Psychology, Leadership and Management, Team Motivation, Leadership Development, Stress First Aid, Business Leadership, Psychology, Empowerment, Employee Engagement, Organizational Structure

    4.7
    Rating, 4.7 out of 5 stars
    ·
    254 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    I

    Icahn School of Medicine at Mount Sinai

    Acute and Chronic Rhinosinusitis: A Comprehensive Review

    Skills you'll gain: Surgery, Chronic Diseases, Diagnostic Tests, Patient Evaluation, Medical Management, Infectious Diseases, Anatomy, Pathology, Clinical Practices, Pharmacotherapy

    4.8
    Rating, 4.8 out of 5 stars
    ·
    677 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    University of Washington

    Designing Autonomous AI

    Skills you'll gain: Organizational Skills, Process Design, Artificial Intelligence, Functional Design, Goal Setting, Verification And Validation, Reinforcement Learning, Functional Specification, Knowledge Transfer, Design Strategies, Software Architecture, Software Design Patterns, Decision Making

    4.8
    Rating, 4.8 out of 5 stars
    ·
    12 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of California San Diego

    Meaningful Predictive Modeling

    Skills you'll gain: Predictive Modeling, Data Validation, Verification And Validation, Applied Machine Learning, Regression Analysis, Supervised Learning, Python Programming, Statistical Methods, Machine Learning Methods, Test Data, Natural Language Processing

    4.3
    Rating, 4.3 out of 5 stars
    ·
    48 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    R

    Rice University

    Principles of Computing (Part 1)

    Skills you'll gain: Combinatorics, Probability, Programming Principles, Program Development, Computational Thinking, Computer Programming, Object Oriented Programming (OOP), Development Testing, Software Testing, Applied Mathematics, Debugging, Algorithms, Python Programming, Game Design, Simulations

    4.7
    Rating, 4.7 out of 5 stars
    ·
    584 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    M

    Microsoft

    Manage Resources in Azure

    Skills you'll gain: Microsoft Azure, Cloud Management, Application Deployment, Cloud Computing, Windows PowerShell, Cloud Services, Infrastructure As A Service (IaaS), Virtual Machines, Platform As A Service (PaaS), Resource Management, Command-Line Interface, IT Automation, Scripting, Software Installation, Verification And Validation

    5
    Rating, 5 out of 5 stars
    ·
    21 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    P

    Packt

    Communication Skills

    Skills you'll gain: Communication, Communication Strategies, Influencing, Verbal Communication Skills, Interpersonal Communications, Persuasive Communication, Writing, Business Writing, Motivational Skills, Empathy, Decision Making, Collaboration

    4.6
    Rating, 4.6 out of 5 stars
    ·
    87 reviews

    Beginner · 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
    ·
    154 reviews

    Intermediate · Specialization · 1 - 3 Months

  • Status: Preview
    Preview
    U

    University of Michigan

    Securing Digital Democracy

    Skills you'll gain: Cyber Security Policies, Security Engineering, Cybersecurity, Security Awareness, Threat Modeling, Policy Analysis, Political Sciences, Vulnerability Assessments, Public Policies, Public Safety and National Security, Human Factors, Human Computer Interaction, Usability, Software Testing

    4.8
    Rating, 4.8 out of 5 stars
    ·
    171 reviews

    Beginner · Course · 1 - 3 Months

Searches related to formal verification

introduction to modeling for formal verification
1…252627…62

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

  • Trustworthy AI for Healthcare Management: Politecnico di Milano
  • Cybersecurity Identity and Access Solutions using Azure AD: Microsoft
  • Launch an auto-scaling AWS EC2 virtual machine: Coursera
  • Liderazgo y comportamiento organizacional: Tecnológico de Monterrey
  • Acute and Chronic Rhinosinusitis: A Comprehensive Review: Icahn School of Medicine at Mount Sinai
  • Designing Autonomous AI: University of Washington
  • Meaningful Predictive Modeling: University of California San Diego
  • Principles of Computing (Part 1): Rice University
  • Manage Resources in Azure: Microsoft
  • Communication Skills: Packt

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