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

Results for "formal verification"


  • Status: Preview
    Preview
    U

    University of Copenhagen

    Academic Information Seeking

    Skills you'll gain: Research, Record Keeping, Data Collection, Document Management, Information Management, Intellectual Property

    4.7
    Rating, 4.7 out of 5 stars
    ·
    762 reviews

    Mixed · Course · 1 - 4 Weeks

  • C

    Coursera

    Use Python Regular Expressions to Process File Data

    Skills you'll gain: Test Data, Test Case, Data Validation, Data Import/Export, Verification And Validation, Scripting, Data Cleansing, Python Programming

    4
    Rating, 4 out of 5 stars
    ·
    23 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • 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: Free Trial
    Free Trial
    V

    Vanderbilt University

    Android App Development

    Skills you'll gain: Git (Version Control System), JUnit, Android Studio, Android Development, Unit Testing, Maintainability, Software Design Patterns, Test Automation, Object Oriented Programming (OOP), Integration Testing, Test Driven Development (TDD), Mobile Development, Software Testing, Testability, Software Engineering, System Testing, Java Programming, Java, Application Security, Software Design

    4.5
    Rating, 4.5 out of 5 stars
    ·
    3.7K reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University at Buffalo

    Decentralized Applications (Dapps)

    Skills you'll gain: Blockchain, Test Driven Development (TDD), Application Development, Application Design, Integrated Development Environments, Software Architecture, Web Applications, Software Development Tools, Software Testing

    4.5
    Rating, 4.5 out of 5 stars
    ·
    1.2K reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of California San Diego

    Python Data Products for Predictive Analytics

    Skills you'll gain: Supervised Learning, Feature Engineering, Predictive Modeling, Data Processing, Data Manipulation, Predictive Analytics, Data Visualization, Interactive Data Visualization, Design Thinking, Applied Machine Learning, Web Scraping, Machine Learning Algorithms, Flask (Web Framework), Data Visualization Software, Scikit Learn (Machine Learning Library), Application Deployment, Data Validation, Verification And Validation, Machine Learning, Python Programming

    4.2
    Rating, 4.2 out of 5 stars
    ·
    249 reviews

    Intermediate · Specialization · 3 - 6 Months

  • 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

    Python Programming Fundamentals

    Skills you'll gain: Version Control, GitHub, Debugging, Git (Version Control System), Unit Testing, Data Structures, Python Programming, Software Testing, Programming Principles, Scripting, Computer Programming, Web Development, Algorithms, Program Development, Development Environment, Scripting Languages, Integrated Development Environments, Object Oriented Programming (OOP), Jupyter

    4.5
    Rating, 4.5 out of 5 stars
    ·
    454 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    S

    SAP

    Requirements Gathering and Documentation

    Skills you'll gain: User Story, Requirements Elicitation, Requirements Management, Business Requirements, Requirements Analysis, Verification And Validation, Project Documentation, Functional Specification, User Acceptance Testing (UAT), Process Mapping, Interviewing Skills

    4.6
    Rating, 4.6 out of 5 stars
    ·
    21 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    D

    Duke University

    Rust Programming

    Skills you'll gain: Rust (Programming Language), Containerization, Data Pipelines, CI/CD, Docker (Software), Jenkins, DevOps, Large Language Modeling, Restful API, Serverless Computing, Generative AI, Amazon Web Services, Development Testing, Software Testing, Maintainability, Command-Line Interface, Prometheus (Software), Natural Language Processing, Computer Programming, Cloud Computing

    3.9
    Rating, 3.9 out of 5 stars
    ·
    259 reviews

    Beginner · Specialization · 3 - 6 Months

  • C

    Coursera

    CFD Simulation Through a Centrifugal Pump

    Skills you'll gain: Simulation and Simulation Software, Simulations, Engineering Design Process, Finite Element Methods, Engineering Analysis, Hydraulics, Cloud-Based Integration, Verification And Validation, Mathematical Modeling

    4.6
    Rating, 4.6 out of 5 stars
    ·
    284 reviews

    Beginner · Guided Project · Less Than 2 Hours

  • 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

Searches related to formal verification

introduction to modeling for formal verification
1…161718…62

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

  • Academic Information Seeking: University of Copenhagen
  • Use Python Regular Expressions to Process File Data: Coursera
  • Managing Data Analysis: Johns Hopkins University
  • Android App Development: Vanderbilt University
  • Decentralized Applications (Dapps): University at Buffalo
  • Python Data Products for Predictive Analytics: University of California San Diego
  • Management Skills for New Managers: Starweaver
  • Python Programming Fundamentals: Microsoft
  • Requirements Gathering and Documentation: SAP
  • Rust Programming: Duke University

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